Synthesising ENI-Systems with Interval Order Semantics.

Maciej Koutny Marta Pietkiewicz-Koutny

Published in: PNSE@Petri Nets (2024)

Keyphrases

distributed systems
learning algorithm
social networks
case study
query processing
formal semantics