Issues arising in the analysis of L.0

This publication has 9 references indexed in Scilit:

• An environment for studying switching system software architecture
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• From description to simulation to architecture: an approach to service-driven system development
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Rapid prototyping of communications protocols using a new parallel language
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• L.0: a parallel executable temporal logic language
  Published by Association for Computing Machinery (ACM) ,1990
• The IC* model of parallel computation and programming environment
  IEEE Transactions on Software Engineering, 1988
• From a synchronous declarative language to a temporal logic dealing with multiform time
  Published by Springer Nature ,1988
• Arctic: A Functional Language for Real-Time Systems
  Computer Music Journal, 1986
• The glory of the past
  Published by Springer Nature ,1985
• The temporal logic of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977