Specifying communication in distributed information systems

From MaRDI portal

Revision as of 16:41, 1 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1977077

Jump to:navigation, search

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

zbMATH Keywords

institutions temporal logic distributed logic communication among sites high-level logic low-level logic specification of distributed information systems

Mathematics Subject Classification ID

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

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