A coalgebraic approach to the semantics of the ambient calculus (2005)
by
Daniel Hausmann
,
Till Mossakowski
,
Lutz Schröder
| Venue: | ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE |
| Citations: | 3 - 2 self |
Document Versions
| A coalgebraic approach to the semantics of the ambient calculus –Daniel Hausmann, Till Mossakowski, Lutz Schröder — 2005 — ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE |
