Dies ist eine Übersichtsseite mit Metadaten zu dieser wissenschaftlichen Arbeit. Ein externer Link zum Volltext ist derzeit nicht verfügbar.
Communication and Concurrency
1989·6.862 Zitationen
6.862
Zitationen
1
Autoren
1989
Jahr
Abstract
Foreword. 1. Modelling Communication. 2. Basic Definitions. 3. Equational laws and Their Application. 4. Strong Bisimulation and Strong Equivalence. 5. Bisimulation and Observation Equivalence. 6. Further Examples. 7. The Theory of Observation Congruence. 8. Defining a Programming Language. 9. Operators and Calculi. 10. Specifications and Logic. 11. Determinancy and Confluence. 12. Sources and Related Work. Bibliography. Index.
Ähnliche Arbeiten
Autoren
Institutionen
Themen
Logic, programming, and type systemsComputability, Logic, AI Algorithmssemigroups and automata theory