A Coinductive Calculus of Component Connectors
- 1 January 2003
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- Coordination through Channel CompositionPublished by Springer Nature ,2002
- Specification and Development of Interactive SystemsPublished by Springer Nature ,2001
- Universal coalgebra: a theory of systemsTheoretical Computer Science, 2000
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955