Non Interleaving Process Algebra

Authors:
Jos C. M. Baeten;Jan A. Bergstra
Affiliations:
-;-
Venue:
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Year:
1993

Citing 0
Cited 2

Towards Petri net calculi based on synchronization via places

PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
Process Algebra with Local Communication

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.01

Visualization

Abstract