MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The Chemical Abstract Machine." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

300 documents found, showing 1 through 10. Next 10 →

ATOM

The Chemical Abstract Machine
by Gérard Berry, Gérard Boudol — 1998
… The Chemical Abstract Machine Ge'rard Berry Ecole Nationale Supe'rieure des Mines de Paris…
Cited by 380 (4 self) – Add To MetaCart

Software Architecture Evolution and the Chemical Abstract Machine
by Michel Wermelinger — 1998 — In Proceedings of the International Workshop on the Principles of Software Evolution
…Software Architecture Evolution and the Chemical Abstract Machine Michel Wermelinger Departamento…
Cited by 3 (3 self) – Add To MetaCart

A Chemical Abstract Machine for Graph Reduction
by Alan Jeffrey — 1992
…UNIVERSITY OF SUSSEX COMPUTER SCIENCE A chemical abstract machine for graph reduction Alan Jeffrey…
Cited by 5 (1 self) – Add To MetaCart

Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine
by Paola Inverardi, A.L. Wolf, Er L. Wolf — 1995 — IEEE Transactions on Software Engineering
… and Analysis of Software Architectures Using the Chemical Abstract Machine Model Paola Inverardi and Alexander…
Cited by 103 (14 self) – Add To MetaCart

An implementation model of the typed lambda-calculus based on Linear Chemical Abstract Machine
by Shinya Sato, Toru Sugimoto, Shinichi Yamada — 2001
…An implementation model of the typed -calculus based on Linear Chemical Abstract Machine Shinya…
Add To MetaCart

True Concurrency Semantics for a Linear Logic Programming Language with Broadcast Communication
by Jean-marc Andreoli, Lone Leth, Remo Pareschi, Bent Thomsen — 1993 — In Proc. of TAPSOFT'93, volume 668 of Lecture Notes in Computer Science
… to Linear Logic connectives. Our semantic model is given by the well-known Chemical Abstract Machine…
Cited by 11 (3 self) – Add To MetaCart

Operational semantics of multi-Agent organization
by Jacques Ferber, Olivier Gutknecht — 1999 — Proceedings of the 6th International Workshop on Agent Theories, Architectures and Languages
… in the AALAADIN generic model. This formalization is based on the π-calculus and the Chemical Abstract Machine…
Cited by 1 (0 self) – Add To MetaCart

Towards a Chemical Model for Software Architecture Reconfiguration
by Michel Wermelinger Departamento, Michel Wermelinger — 1998 — IEE Proceedings - Software
…@(email omitted); Abstract The Chemical Abstract Machine is a general-purpose, simple, and intuitive programming model…
Add To MetaCart

A Simple Description Language for Dynamic Architectures
by Michel Wermelinger — 1998
… mw@(email omitted); ABSTRACT The Chemical Abstract Machine (CHAM) is a very elegant and simple…
Cited by 3 (3 self) – Add To MetaCart

Chemistry in Action: Discovering the Behaviour of a Network from Local Observations
by Stefan Heymer, Stefan Heymer, Jens Grabowski, Jens Grabowski — 1998
… Jens Grabowski October 6, 1998 Report A-98-18 Abstract Chemical abstract machines (CHAMs) are used…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB