On calculi for context-aware coordination

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2949, Issue , 2004, Pages 38-54

  Braione, Pietro ^a   Picco, Gian Pietro ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; MULTI AGENT SYSTEMS; PATHOLOGY; PEER TO PEER NETWORKS;

APPLICATION PROCESS; COMPUTATIONAL GRIDS; CONTEXT-AWARE; FORMAL FOUNDATION; PROCESS BEHAVIOR; PROCESS CALCULI; SYSTEM CHANGE; SYSTEM CONFIGURATIONS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 33745794745     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24634-3_6     Document Type: Article

References (10)

1. G. Berry and G. Boudol. The Chemical Abstract Machine. Theoretical Computer Science, 96:217-248, 1992.
2. th Int. Conf. on Coordination Models and Languages, LNCS 2315. Springer, 2002.
3. L. Cardelli and A. D. Gordon. Mobile ambients. In M. Nivat, editor, Proc. of the 1st Int. Conf. on Foundations of Software Science and Computation Structures (FoSSaCS'98), LNCS 1378, pages 140-155. Springer, 1998.
4. J. F. Groote. Transition system specifications with negative premises. Theoretical Computer Science, 118(2):263-299, 1993.
5. J. F. Groote and F. W. Vaandrager. Structured operational semantics and bisimulation as a congruence. Information and Computation, 100(2):202-260, 1992.
6. J. J. Leifer and R. Milner. Deriving bisimulation congruences for reactive systems. In C. Palamidessi, editor, Proc. of the Int. Conf. on Concurrency Theory (CONCUR 2000), LNCS 1187, pages 243-258. Springer, 2000.
7. José Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96(1):73-155, 1992.
8. A. L. Murphy, G. P. Picco, and G.-C. Roman. LIME: A Middleware for Physical and Logical Mobility. In F. Golshani et al., editors, Proc. of the 21st Int. Conf. on Distributed Computing Systems (ICDCS-21), pages 524-533, May 2001.
9. G.-C. Roman, A. L. Murphy, and G. P. Picco. Coordination and Mobility. In A. Omicini et al., editors, Coordination of Internet Agents: Models, Technologies, and Applications, pages 254-273. Springer, 2000.
10. th Int. Wksp. on Expressiveness in Concurrency (EXPRESS'02), volume 68 of Electronic Notes in Theoretical Computer Science. Springer, 2002.