Back to Results
First PageMeta Content
Process calculi / Actor model / Communicating sequential processes / Process calculus / Synchronous programming language / Communications protocol / Consensus / Message passing / Asynchrony / Computing / Concurrent computing / Concurrency


Two Paradigms of Composition Ashley McNeile Metamaxim Ltd. 48 Brunswick Gardens London, U.K.
Add to Reading List

Document Date: 2011-08-31 13:43:14

Open Document

File Size: 481,49 KB

Share Result on Facebook

City

Birmingham / Boston / New York / Vancouver / Amsterdam / /

Company

Composition Ashley McNeile Metamaxim Ltd. / Cambridge University Press / Protocol / MIT Press / Reactive Systems / Addison-Wesley Longman Publishing Co. Inc. / Prentice-Hall International / Brunswick / /

Country

Netherlands / United States / United Kingdom / /

Currency

USD / /

/

Event

Product Issues / Product Recall / FDA Phase / /

Facility

Carnegie-Mellon University / /

IndustryTerm

software system / software engineering / conditional operator / simplest solution / machinery / certain bank / transition systems / software development / given software system / software engineering principles / bank / software model / software models / banking / transactional systems / bank example / /

MusicAlbum

U.K. / /

MusicGroup

B.C. / /

Organization

Cambridge University / MIT / Carnegie-Mellon University / IEEE Computer Society / /

Person

Close Withdraw / Send / Robin Milner / Deposit / Technische Universiteit Eindhoven / /

Position

Guard / General / author / Assistant Professor / software engineer / /

Product

funds / Model / Account1 / mCRL2 / /

ProgrammingLanguage

Esterel / /

ProvinceOrState

British Columbia / New York / /

PublishedMedium

Theoretical Computer Science / /

Technology

shared memory / /

URL

http /

SocialTag