Final semantics for a higher order concurrent language

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

Volumn 1059, Issue , 1996, Pages 102-118

  Lenisa, Marina ^a,b  

^a UNIVERSITY OF UDINE   (Italy)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

Coinduction; Complete metric space; F bisimulation; F coalgebra; Final semantics; Hyperset; Mixed induction coinduction; Operational semantics; Second order assignment

Indexed keywords

ALGEBRA; FORESTRY; SET THEORY;

COALGEBRAS; COINDUCTION; COMPLETE METRIC SPACE; F-BISIMULATION; HYPERSET; OPERATIONAL SEMANTICS; SECOND ORDERS;

SEMANTICS;

EID: 84947908685     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61064-2_32     Document Type: Conference Paper

References (16)

1. P. Aczel, Non-wellfounded sets, Number 14, Lecture Notes CSLI, 1988.
2. J.de Bakker, F.van Breugel, Topological models for higher order control flow, MFPS'93 Conference Proc., Brookes et al. eds., Springer LNCS Vol.802, 1993.
3. J.de Bakker, F.van Breugel, Metric Semantics for Second Order Communication, Technical Report, McGill University, Montreal, July 1995.
4. M. Barr, Terminal coalgebras in well-founded set theory, TCS, 114:299-315, 1993.
5. Barwise, Hypersets, The Mathematical Intelligencer, Vo1.13(4):31-41, 1991.
6. M. Forti, F. Honsell, Set Theory with Free Construction Principles, Annali Scuola Normale Sup. Pisa, C 1. Sci., (IV), 10:493-522, 1983.
7. M. Forti, F. Honsell, M. Lenisa, Processes and Hyperuniverses, MFCS'94 Conference Proceedings, I.Privara et al. eds., Springer LNCS Vol.841:352-363, Kogice, 1994.
8. P. Freyd, Algebraically complete categories, A. Carboni et al. eds, Category Theory '90 Springer LNM, Vo1.1144:95-104, Como, 1992.
9. J.F. Groote, F. Vaandrager, Structured Operational Semantics and Bisimulation as a Congruence, Information and Computation Vo1.100:202-260, 1992.
10. F. Honsell, M. Lenisa, Final Semantics for untyped~-caIculus, M. Dezani et al. eds, TLCA'95 Springer LNCS Vol.902:249-265, Edinburgh, 1995.
11. A.M. Pitts, Relational Properties of Recursively Defined Domains, 8th LICS Conference Proceedings, IEEE Computer Society Press:86-97, 1993.
12. J.J.M.M. Rutten, Processes as terms: non-wellfounded models for bisimuIation, Math.Struct.Comp.Sci., Vol.2(3):257-275, 1992.
13. J.J.M.M. Rutten, D. Turi, On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders, REX Conference Proceedings, J.deBakker et al. eds., Springer LNCS Vol.666:477-530, 1993.
14. J.J.M.M. Rutten, D. Turi, Initial algebra and final eoalgebra semantics for concurrency, Report CS-R9409, CWI, Amsterdam, January 1994.
15. D. Sangiorgi, Expressing Mobility in Process Algebras: First-Oder and Higher-Order Paradigms, Ph.D thesis CST-99-93, University of Edinburgh, 1992.
16. B. Thomsen, A Calculus of Higher Order Communicating Systems, Proc. 16th Annual ACM Symp. on Principles of Programming Languages:143-154, 1989.