Reachability in cyclic extended free-choice systems

Authors:
Jörg Desel;Javier Esparza
Affiliations:
-;-
Venue:
Selected papers of the 3rd workshop on Concurrency and compositionality
Year:
1993

Citing 0
Cited 3

Blocking a transition in a free choice net and what it tells about its throughput

Journal of Computer and System Sciences
ILP Models for the Synthesis of Asynchronous Control Circuits

Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design
State encoding of large asynchronous controllers

Proceedings of the 43rd annual Design Automation Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract