Maximal Synthesis for Hennessy-Milner Logic with the Box Modality
- 1 January 2014
- journal article
- Published by Elsevier BV in IFAC Proceedings Volumes
- Vol. 47 (2), 278-285
- https://doi.org/10.3182/20140514-3-fr-4046.00034
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Safe reasoning with Logic LTSTheoretical Computer Science, 2011
- Supervisory Control of Discrete Event Systems with CTL* Temporal Logic SpecificationsSIAM Journal on Control and Optimization, 2006
- Module CheckingInformation and Computation, 2001
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Synthesis of Communicating Processes from Temporal Logic SpecificationsACM Transactions on Programming Languages and Systems, 1984