Verifiable and executable logic specifications of concurrent objects in Lπ

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

Volumn 1381, Issue , 1998, Pages 42-56

  Caires, Luis ^a   Monteiro, Luis ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

PROGRAM TRANSLATORS; SEMANTICS; SPECIFICATIONS;

CONCURRENT OBJECTS; LOGIC SPECIFICATIONS; META LANGUAGE; OPERATIONAL SEMANTICS; PROGRAM LOGIC; SPECIFICATION LOGIC;

COMPUTER CIRCUITS;

EID: 84947723862     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053562     Document Type: Conference Paper

References (16)

1. L. Caires. A language for the logical specification of processes and relations. In Michael Hanus, editor, Proceedings of the Algebraic and Logic Programming International Conference, number 1139 in LNCS, pages 150-164, 1996.
2. L. Caires. A language for the logical specification of processes and relations. Technical Report 6.96, Universidade Nova de Lisboa, DI/FCT, 1996. http://www-ctp.di.fct.unl.pt/~lcaires/writings/lpi6.96.ps.gz.
3. L. Caires and L. Monteiro. Proof net semantics of proof search computation. In K. Meinke and M. Hanus, editors, Proceedings of the Algebraic and Logic Programming International Conference, number 1298 in LNCS, pages 194-208, 1997.
4. J. Fiadeiro and T. Maibaum. Temporal theories as modulaxisation units for concurrent system specification. Formal Aspects of Computing, 4(3):239-272, 1992.
5. D. Kozen. Results on the propositional -calculus. TCS, 27(3):333-354, 1983.
6. D. Miller. A survey of linear logic programming. Computational Logic, 2(2), 1995.
7. D. Miller, G. Nadathur, F. Pfenning, and A. Scedrov. Uniform proof as a foundation for logic programming. Ann. of Pure and App. Logic, (51):125-157, 1991.
8. R. Milner. Functions as processes. Math. Struc. in Computer Sciences, 2(2):119-141, 1992.
9. R. Milner. Calculi for interaction. Acta Informatica, 33(8):707-737, 1996.
10. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, Part I 4-II. Information and Computation, 100(1):1-77, 1992.
11. O. Nierstrasz, J-G. Schneider, and M. Lumpe. Formalizing composable software systems -A research agenda. In Proceedings 1st IFIP Workshop on Formal Methods for Open Object-based Distributed Systems FMOODS’96, pages 271-282. Chap-mann and Hall, 1996.
12. B. Pierce and D. Turner. Concurrent objects in a process calculus. In Takayasu Ito and Akinori Yonezawa, editors, Theory and Practice of Parallel Programming (TPPP), Sendai, Japan (Nov. 1994), number 907 in Lecture Notes in Computer Science, pages 187-215. Springer-Verlag, April 1995.
13. A. Pnueli. The temporal semantics of concurrent programs. In G. Kahn, editor, Semantics of Concurrent Computations, volume 70 of LNCS, pages 1-20, Evian, France, July 1979. Springer-Verlag, Berlin, Germany.
14. D. Sangiorgi. An interpretation of typed objects into the typed 7r-calculus. Technical report, INRIA Technical Report RR-3000, 1996.
15. A. Sernadas, C. Sernadas, and J. Costa. Object specification logic. Journal of Logic and Computation, 5(5):603-630, October 1995.
16. D. Walker. Objects in the 7r-calculus. Journal of Information and Computation, 116(2):253-271, 1995.