Back to Results
First PageMeta Content
Process calculus / Algebra / Bisimulation / Model theory / Operator / Mathematics / Theoretical computer science / Algebraic structures


BRICS RSAceto & Ing´olfsd´ottir: The Saga of the Axiomatization of Parallel Composition BRICS Basic Research in Computer Science
Add to Reading List

Document Date: 2007-07-04 18:40:22

Open Document

File Size: 220,92 KB

Share Result on Facebook

Company

Klop / Bergstra / Hennessy and Milner / /

Country

Denmark / /

Currency

Rs / /

/

Event

Reorganization / M&A / /

Facility

Computer Science University of Aarhus / Computer Science University of Aarhus IT-parken / University Kringlan / /

IndustryTerm

reactive systems / expansion law / auxiliary operators / so-called expansion law / auxiliary operator / auxiliary binary operator / /

Organization

Icelandic Research Fund / BRICS Department / University of Aarhus / Anna Ingolfsdottir Department of Computer Science / Computer Science University of Aarhus IT-parken / /

Person

Tschantz / Anna Ingolfsdottir / Hans Beki / Moller / Luca Aceto / Luca Aceto Anna / /

/

ProvinceOrState

Pennsylvania / /

URL

ftp /

SocialTag