Towards a toolkit for actor system specification

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

Volumn 1816, Issue , 2000, Pages 391-406

  Talcott, Carolyn L ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84974718020     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45499-3_28     Document Type: Conference Paper

References (11)

1. G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, Mass., 1986.
2. H. G. Baker and C. Hewitt. Laws for communicating parallel processes. In IFIP Congress, pages 987-992. IFIP, Aug. 1977.
3. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, and J. Quesada. Maude: Specification and programming in rewriting logic, 1998. URL: http://maude.csl.sri.com.
4. G. Denker and H.-D. Ehrich. Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic. In H. Bowman and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS’97), Volume 2, IFIP TC6 WG6.1 Intern. Workshop, 21-23 July, Canterbury, Kent, UK, pages 89-104. Chapman & Hall, 1997.
5. C. H. C. Duarte. Proof-theoretic Foundations for the Design of Extensible Software Systems. PhD thesis, Imperial College, University of London, 1999.
6. F. Durán. A Reflective Module Algebra with Applications to the Maude Language. PhD thesis, University of Malaga, 1999.
7. F. Duran and J. Meseguer. Structured theories and institutions. In Category Theory in Computer Science, Electronic Notes in Theoretical Computer Science. Elsevier, 1998.
8. M. Gaspari and G. Zavattaro. An algebra of actors. In P. Ciancariani, A. Fantechi, and R. Gorrieri, editors, Formal Methods for Open Object-based Distributed Systems, pages 3-18. Kluwer, 1999.
9. C. Hewitt. Viewing control structures as patterns of passing messages. Journal of Artificial Intelligence, 8(3):323-364, 1977.
10. C. L. Talcott. Interaction semantics for components of distributed systems. In E. Najm and J.-B. Stefani, editors, 1st IFIP Workshop on Formal Methods for Open Object-based Distributed Systems, FMOODS’96, 1996. Proceedings published in 1997 by Chapman & Hall.
11. C. L. Talcott. Actor theories in rewriting logic, 1999. submitted for publication.