A Theory of System Interaction: Components, Interfaces, and Services

DOI10.1007/3-540-34874-3_4zbMath1266.68113OpenAlexW144126780MaRDI QIDQ4928700

Manfred Broy

Publication date: 18 June 2013

Published in: Interactive Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-34874-3_4

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Verifying of interface assertions for infinite state Mealy machines ⋮ Computability and realizability for interactive computations

Uses Software

• ETPS

This page was built for publication: A Theory of System Interaction: Components, Interfaces, and Services