Specifying communication in distributed information systems
From MaRDI portal
Publication:1977077
DOI10.1007/s002360050167zbMath0949.03029OpenAlexW2007164449MaRDI QIDQ1977077
Carlos Caleiro, Hans-Dieter Ehrich
Publication date: 9 May 2000
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s002360050167
institutionstemporal logicdistributed logiccommunication among siteshigh-level logiclow-level logicspecification of distributed information systems
Network design and communication in computer systems (68M10) Logic in computer science (03B70) Temporal logic (03B44)
Related Items (4)
A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations ⋮ Topological systems as a framework for institutions ⋮ Distributed temporal logic for the analysis of security protocol models ⋮ On Obligations
This page was built for publication: Specifying communication in distributed information systems
