Login / Signup
Abstract processes in the absence of conflicts in general place/transition systems.
Rob van Glabbeek
Ursula Goltz
Jens-Wolfhard Schicke-Uffmann
Published in:
Inf. Comput. (2022)
Keyphrases
</>
transition systems
temporal logic
concurrent systems
artificial intelligence
process model