Event structure semantics for CCS and related languages (1982)

by Glynn Winskel , Glynn Winskel
Venue:Computer Science Department, Aarhus University
Citations:80 - 16 self

Active Bibliography

481 Domain Theory – Samson Abramsky, Achim Jung - 1994
766 Notions of Computation and Monads – Eugenio Moggi - 1991
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
324 Analogical Mapping by Constraint Satisfaction – Keith J. Holyoak, Paul Thagard - 1989
273 Relations in Concurrency – Glynn Winskel
263 Semantic foundations of concurrent constraint programming – Vijay A. Saraswat, et al. - 1990
235 Domain Theory in Logical Form – Samson Abramsky - 1991
214 Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail – Reinhard Schwarz, Friedemann Mattern - 1994
194 Maude: Specification and Programming in Rewriting Logic – M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, J. F. Quesada - 2001