Pages that link to "Item:Q1179704"
From MaRDI portal
The following pages link to An algebra of concurrent non-deterministic processes (Q1179704):
Displaying 16 items.
- Port automata and the algebra of concurrent porcesses (Q791319) (← links)
- An algebra for process creation (Q1203719) (← links)
- A truly concurrent semantics for a process algebra using resource pomsets (Q1603698) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- Axiomatizing a fragment of PAFAS (Q2703738) (← links)
- Process algebra having inherent choice: revised semantics for concurrent systems (Q2871829) (← links)
- An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation (Q3400541) (← links)
- A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes (Q3525145) (← links)
- Process Algebra for Parallel and Distributed Processing (Q3545001) (← links)
- Algebraic laws for nondeterminism and concurrency (Q3766826) (← links)
- Concurrent nondeterministic processes: Adequacy of structure and behaviour (Q3975136) (← links)
- (Q4796539) (← links)
- Processes with multiple entries and exits (Q5055885) (← links)
- Applying Formal Methods: Testing, Performance, and M/E-Commerce (Q5394040) (← links)
- Termination, deadlock and divergence (Q5887521) (← links)
- On relating concurrency and nondeterminism (Q6116582) (← links)