Elementary transition systems and refinement

Authors:
M. Nielsen;G. Rozenberg;P. S. Thiagarajan
Affiliations:
-;-;-
Venue:
Acta Informatica
Year:
1992

Citing 0
Cited 2

Modular system development with pullbacks

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
ON A NOTION OF CONCURRENCE

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract