Distributed safety controllers for web services

This publication has 7 references indexed in Scilit:

• Programming the Web: An Application-Oriented Language for Hypermedia Service Programming
  Published by Association for Computing Machinery (ACM) ,1995
• Asynchronous Automata
  Published by World Scientific Pub Co Pte Ltd ,1995
• MONA: Monadic Second-Order Logic in Practice
  BRICS Report Series, 1995
• Symbolic Model Checking
  Published by Springer Nature ,1993
• The control of discrete event systems
  Proceedings of the IEEE, 1989
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Decidability of Second-Order Theories and Automata on Infinite Trees
  Transactions of the American Mathematical Society, 1969