Analyzing service specifications based upon the logic programming paradigm

This publication has 8 references indexed in Scilit:

• ERLANG - an experimental telephony programming language
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Logic programming for real-time control of telecommunication switching systems
  The Journal of Logic Programming, 1990
• A comparison of techniques for the specification of external system behavior
  Communications of the ACM, 1988
• The IC* model of parallel computation and programming environment
  IEEE Transactions on Software Engineering, 1988
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Avoiding the state explosion problem in temporal logic model checking
  Published by Association for Computing Machinery (ACM) ,1987
• A distributed alternative to finite-state-machine specifications
  ACM Transactions on Programming Languages and Systems, 1985
• On Communicating Finite-State Machines
  Journal of the ACM, 1983