Formal definition and representation of interaction points
From MaRDI portal
Publication:4697195
DOI10.1016/0169-7552(92)90121-6zbMath0789.68093MaRDI QIDQ4697195
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
specification; formal description techniques; interaction point; ISO; OSI; open distributed systems; architectural concepts; temporal first-order logic
03B45: Modal logic (including the logic of norms)
68Q60: Specification and verification (program logics, model checking, etc.)
68M99: Computer system organization
Related Items
Modeling and testing object-oriented distributed systems with linear-time temporal logic, Interpreting message flow graphs