Relational Structures for Interval Order Semantics of Concurrent Systems.

Ryszard Janicki Jetty Kleijn Maciej Koutny Lukasz Mikulski

Published in: Petri Nets (2024)

Keyphrases

concurrent systems
relational structures
temporal logic
database
information extraction
graphical models
logic programs
process algebra