Interaction and Realizability

DOI10.1007/978-3-540-69507-3_3zbMath1132.68031OpenAlexW2122834736MaRDI QIDQ5448764

Manfred Broy

Publication date: 7 March 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69507-3_3

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Theory and methodology of assumption/commitment based system interface specification and architectural contracts ⋮ Verifying of interface assertions for infinite state Mealy machines ⋮ Computability and realizability for interactive computations

This page was built for publication: Interaction and Realizability