Constraint logic programming for reasoning about discrete event processes
- 30 November 1991
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 11 (3-4) , 243-270
- https://doi.org/10.1016/0743-1066(91)90028-n
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Constructing distributed systems in ConicIEEE Transactions on Software Engineering, 1989
- Principles and engineering of process control with Petri netsIEEE Transactions on Automatic Control, 1988
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Safety Analysis Using Petri NetsIEEE Transactions on Software Engineering, 1987
- Safety analysis of timing properties in real-time systemsIEEE Transactions on Software Engineering, 1986
- RT-ASLAN: A specification language for real-time systemsIEEE Transactions on Software Engineering, 1986
- CIRCAL and the representation of communication, concurrency, and timeACM Transactions on Programming Languages and Systems, 1985
- A software architecture for distributed computer control systemsAutomatica, 1984
- Real-time programming and asynchronous message passingPublished by Association for Computing Machinery (ACM) ,1983
- Proving real-time properties of programs with temporal logicACM SIGOPS Operating Systems Review, 1981