On the Construction of Submodule Specifications and Communication Protocols
From MaRDI portal
Publication:3964002
DOI10.1145/357195.357196zbMath0498.68009OpenAlexW2126736658MaRDI QIDQ3964002
Gregor von Bochmann, Philip M. Merlin
Publication date: 1983
Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/357195.357196
Related Items (10)
An improvement of algorithms for solving interface equations ⋮ Compositional Reasoning ⋮ Unnamed Item ⋮ Factorisation of finite state machines under strong and observational equivalences ⋮ Progressive Solutions to a Parallel Automata Equation ⋮ The expressive power of implicit specifications ⋮ Interface synthesis and protocol conversion ⋮ Progressive solutions to a parallel automata equation ⋮ Submodule construction as equation solving in CCS ⋮ Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets1 1This work was partially supported by research project grant NSC-90-2215-E-194-009 from the National Science Council, Taiwan, ROC.
This page was built for publication: On the Construction of Submodule Specifications and Communication Protocols
