Pages that link to "Item:Q2827466"
From MaRDI portal
The following pages link to A Theory for the Composition of Concurrent Processes (Q2827466):
Displaying 14 items.
- Computable concurrent processes (Q673972) (← links)
- A transformation system for concurrent processes (Q1284702) (← links)
- Defining concurrent processes constructively (Q1314421) (← links)
- SMT-based generation of symbolic automata (Q2182674) (← links)
- Behavioural semantics for asynchronous components (Q2397038) (← links)
- Compositional equivalences based on open pNets (Q2683032) (← links)
- A Theory for the Composition of Concurrent Processes (Q2827466) (← links)
- Reflections on the future of concurrency theory in general and process calculi in particular (Q2870196) (← links)
- A Denotational Semantics for Parameterised Networks of Synchronised Automata (Q2971177) (← links)
- (Q3125177) (← links)
- (Q3339295) (← links)
- Parallel Processing and Applied Mathematics (Q5307368) (← links)
- Programming Languages and Systems (Q5464035) (← links)
- Refinements for open automata (Q6550592) (← links)