Concurrent systems and inevitability

Authors:
Antoni Mazurkiewicz;Edward Ochmański;Wojciech Penczek
Affiliations:
Institute of Computer Science of PAS, Warsaw, Poland;Institute of Computer Science of PAS, Warsaw, Poland;Institute of Computer Science of PAS, Warsaw, Poland
Venue:
Theoretical Computer Science
Year:
1989

Citing 0
Cited 4

TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering

IEEE Transactions on Software Engineering
TCTL inevitability analysis of dense-time systems

CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
Historical and computational aspects of paraconsistency in view of the logic foundation of databases

Proceedings of the 2nd international conference on Semantics in databases
Improving Partial Order Reductions for Universal Branching Time Properties

Fundamenta Informaticae

Quantified Score

Hi-index	5.23

Visualization

Abstract