Inproceedings,

Initial Algebra and Final Coalgebra Semantics for Concurrency.

, and .
REX School/Symposium, volume 803 of Lecture Notes in Computer Science, page 530-582. Springer, (1993)

Meta data

Tags

Users

  • @dblp

Comments and Reviews