Roberto M. Amadio
Ilaria Castellani
Davide Sangiorgi
1998
On bisimulations for the asynchronous pi-calculus
Theoretical Computer Science
195
2
291 – 324
10.1007/3-540-61604-7_53
Steve Awodey
2010
Category Theory (Oxford Logic Guides)
2
Oxford University Press, USA
10.1093/acprof:oso/9780198568612.001.0001
Marcelo P. Fiore
Daniele Turi
2001
Semantics of Name and Value Passing
16th Annual IEEE Symposium on Logic in Computer Science (LICS)
IEEE Computer Society
93–104
10.1109/LICS.2001.932486
Tatsuya Hagino
1987
A Categorical Programming Language
University of Edinburgh
G.H. Mealy
1955
A Method to Synthesizing Sequential Circuits
Bell System Technical Journal
1045–1079
R. Milner
1982
A Calculus of Communicating Systems
Springer-Verlag New York, Inc.
Rocco De Nicola
Matthew Hennessy
1984
Testing Equivalences for Processes
Theoretical Computer Science
34
83–133
10.1016/0304-3975(84)90113-0
Alessandra Palmigiano
2002
Abstract Logics as Dialgebras
Electronic Notes in Theoretical Computer Science
65
1
254–269
CMCS'2002, Coalgebraic Methods in Computer Science.
10.1016/S1571-0661(04)80367-0
Erik Poll
Jan Zwanenburg
2001
From Algebras and Coalgebras to Dialgebras
Electronic Notes in Theoretical Computer Science
44
1
289 – 307
CMCS'2001, Coalgebraic Methods in Computer Science.
10.1016/S1571-0661(04)80915-0
J. J. M. M. Rutten
2000
Universal coalgebra: a theory of systems
Theoretical Computer Science
249
1
3 – 80
10.1016/S0304-3975(00)00056-6
A. Sokolova
2005
Coalgebraic Analysis of Probabilistic Systems
TU Eindhoven
Daniele Turi
Gordon Plotkin
1997
Towards a Mathematical Operational Semantics
12th Annual IEEE Symposium on Logic in Computer Science (LICS)
IEEE Computer Society
280–291
10.1109/LICS.1997.614955