Four domains for concurrency

Authors:
J. W. de Bakker;J. H. A. Warmerdam
Affiliations:
-;-
Venue:
Theoretical Computer Science - Images of programming dedicated to the memory of Andrei P. Ershov
Year:
1991

Citing 0
Cited 2

An extension theorem with an application to formal tree series

Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
Bisimulation Semantics For Concurrency With Atomicity And Action Refinement

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract