A spatial logic for the hybrid π-calculus

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

Volumn 2993, Issue , 2004, Pages 508-522

  Rounds, William C ^a,b  

^a UNIVERSITY OF MICHIGAN   (United States)

^b UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; FORMAL LOGIC; HYBRID SYSTEMS; SEMANTICS; TEMPORAL LOGIC;

MODAL MU CALCULUS; NEW CONSTRUCTIONS; PI CALCULUS; RECONFIGURABILITY; SEMANTIC FEATURES; SPATIAL LOGIC; STANDARD LOGIC;

CALCULATIONS;

EID: 35048857489     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24743-2_34     Document Type: Article

References (7)

1. Patrick Blackburn, Maarten de Rijke, and Yde Venema. Modal Logic, volume 53 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 2001.
2. Luis Caires and Luca Cardelli. A spatial logic for concurrency (part I). In Proceedings, Theoretical Aspects of Computer Software; 4th International Symposium, Sendai, Japan, 2001. To appear in I & C special issue on TAGS'01.
3. M. J. Gabbay and A. M. Pitts. A new approach to abstract syntax with variable binding. Formal Aspects of Computing, 13:341-363, 2001.
4. Thomas A. Henzinger, Shaz Qadeer, and Sriram K. Rajamani. Decomposing refinement proofs using assume-guarantee reasoning. In Proceedings of the International Conference on Computer-Aided Design (ICCAD), pages 245-252. IEEE Computer Society Press, 2000.
5. D. Kozen. Results on the propositional mu-calculus. Theoretical Computer Science, 27, 1983.
6. Robin Milner. Communicating and Mobile Systems: the π-calculus. Cambridge University Press, 1999.
7. W. Rounds and H. Song. The φ-calculus - a language for distributed control of reconfigurable embedded systems. In Hybrid Systems: Computation and control, LNCS 2263, pages 435-449, Prague, Czech Republic, 2003. Springer-Verlag.