Formal definition and representation of interaction points

DOI10.1016/0169-7552(92)90121-6zbMath0789.68093OpenAlexW1983722007MaRDI QIDQ4697195

R. Gotzhein

Publication date: 29 June 1993

Published in: Computer Networks and ISDN Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0169-7552(92)90121-6

zbMATH Keywords

specificationformal description techniquesinteraction pointISOOSIopen distributed systemsarchitectural conceptstemporal first-order logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Computer system organization (68M99)

Related Items (2)

Modeling and testing object-oriented distributed systems with linear-time temporal logic ⋮ Interpreting message flow graphs

This page was built for publication: Formal definition and representation of interaction points