Barbed Bisimulation

Robin Milner, Davide Sangiorgi

W. Kuich (eds.)
Automata, Languages and Programming, pages 685–695
Lecture Notes in Computer Science 623
Springer-Verlag
1992

Tags:

Publication

— authors

Robin Milner, Davide Sangiorgi

— editors

W. Kuich

— status

published

— sort

paper in proceedings

— publication date

1992

— volume

Automata, Languages and Programming

— series

Lecture Notes in Computer Science

— volume

623

— pages

685–695

notes

— note

19th International Colloquium Wien, Austria, July 13–17, 1992 Proceedings

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY