Specifying Real-Time Finite-State Systems in Linear Logic (Extended Abstract)

This publication has 27 references indexed in Scilit:

• A theory of timed automata
  Published by Elsevier ,2002
• Forum: A multiple-conclusion specification logic
  Theoretical Computer Science, 1996
• The benefits of relaxing punctuality
  Journal of the ACM, 1996
• Asynchronous communication model based on linear logic
  Formal Aspects of Computing, 1995
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• An old-fashioned recipe for real time
  ACM Transactions on Programming Languages and Systems, 1994
• Logic Programming with Focusing Proofs in Linear Logic
  Journal of Logic and Computation, 1992
• From Petri nets to linear logic
  Mathematical Structures in Computer Science, 1991
• Efficient program synthesis in computational models
  The Journal of Logic Programming, 1990
• The complexity of propositional linear temporal logics
  Journal of the ACM, 1985