On the Algorithmic Properties of Concurrent Programs

Authors:
Andrzej Salwicki;Tomasz Müldner
Affiliations:
-;-
Venue:
Logic of Programs, Workshop
Year:
1981

Citing 0
Cited 2

Transition logic: How to reason about temporal properties in a compositional way

STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Labeled Step Sequences in Petri Nets

PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets

Quantified Score

Hi-index	0.00

Visualization

Abstract