Fundamenta Informaticae > 2003 > Vol. 55, nr 2 > 129-147
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Abramsky, S.: Interaction categories (Extended abstract), Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods (G. L. Burn, S. J. Gay, M. D. Ryan, Eds.), Workshops in Computer Science, Springer-Verlag, 1993.
-
[2] Abramsky, S., Gay, S., Nagarajan, R.: Interaction Categories and the Foundations of Typed Concurrent Programming, in: Deductive Program Design: Proceedings of the 1994 Marktoberdorf International Summer School (M. Broy, Ed.), NATO ASI Series F, Springer-Verlag, 1996
-
[3] Agha, G., DeCindio, F., Rozenberg, G., Eds.: Concurrent Object-Oriented Programming and Petri Nets, Number 2001 in Lecture Notes in Computer Science, Springer, 2001.