Pages that link to "Item:Q2956720"
From MaRDI portal
The following pages link to A process algebra for synchronous concurrent constraint programming (Q2956720):
Displaying 9 items.
- A congruence rule format for name-passing process calculi (Q1012125) (← links)
- A general theory of action languages (Q1286273) (← links)
- A fully abstract model for the exchange of information in multi-agent systems. (Q1401189) (← links)
- A truly concurrent semantics for a process algebra using resource pomsets (Q1603698) (← links)
- A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency (Q2414249) (← links)
- (Q2767080) (← links)
- Process algebra having inherent choice: revised semantics for concurrent systems (Q2871829) (← links)
- Process Algebra Modelling Styles for Biomolecular Processes (Q3642950) (← links)
- Applying Formal Methods: Testing, Performance, and M/E-Commerce (Q5394040) (← links)