Pages that link to "Item:Q3964002"
From MaRDI portal
The following pages link to On the Construction of Submodule Specifications and Communication Protocols (Q3964002):
Displaying 10 items.
- An improvement of algorithms for solving interface equations (Q293354) (← links)
- The expressive power of implicit specifications (Q685409) (← links)
- Factorisation of finite state machines under strong and observational equivalences (Q1176112) (← links)
- Submodule construction as equation solving in CCS (Q1262748) (← links)
- Interface synthesis and protocol conversion (Q2481210) (← links)
- Progressive solutions to a parallel automata equation (Q2508960) (← links)
- Formal synthesis of real-time embedded software by time-memory scheduling of colored time Petri nets (Q2842581) (← links)
- Compositional Reasoning (Q3176370) (← links)
- Progressive Solutions to a Parallel Automata Equation (Q3564943) (← links)
- (Q5021015) (← links)