Formal definition and representation of interaction points

DOI10.1016/0169-7552(92)90121-6zbMATH Open0789.68093OpenAlexW1983722007MaRDI QIDQ4697195FDOQ4697195

Authors: 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

Recommendations

• scientific article; zbMATH DE number 517246
• scientific article; zbMATH DE number 4084996
• scientific article; zbMATH DE number 1215062
• scientific article; zbMATH DE number 1304371
• A theory of system interaction: components, interfaces, and services

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)

Cited In (3)

• Modeling and testing object-oriented distributed systems with linear-time temporal logic
• Interpreting message flow graphs
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4697195)