scientific article

From MaRDI portal

Publication:3677156

Jump to:navigation, search

zbMath0563.68020MaRDI QIDQ3677156

Manfred Broy

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

distributed systems correctness inference specification nondeterministic concurrent communicating agents

Mathematics Subject Classification ID

Data structures (68P05) Theory of operating systems (68N25)

Related Items

Specification of abstract dynamic-data types: A temporal logic approach ⋮ Algebraic specification of concurrent systems ⋮ Algebraic and functional specification of an interactive serializable database interface ⋮ Predicative specifications for functional programs describing communicating networks ⋮ Algebraic specification of reactive systems

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3677156&oldid=17148265"