Pages that link to "Item:Q1188804"
From MaRDI portal
The following pages link to Semantics of systems of concurrent processes. LITP Spring School on theoretical computer science, La Roche Posay, France, 23-27 April 1990. Proceedings (Q1188804):
Displaying 8 items.
- Configuration structures, event structures and Petri nets (Q843106) (← links)
- Observational structures and their logic (Q1190494) (← links)
- GSOS and finite labelled transition systems (Q1331924) (← links)
- Unified mathematical framework for slicing and symmetry reduction over event structures (Q2336364) (← links)
- On the expressiveness of higher dimensional automata (Q2491631) (← links)
- The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes. (Q2760238) (← links)
- (Q3998342) (← links)
- (Q5028437) (← links)