Some issues in the semantics of facile distributed programming

This publication has 17 references indexed in Scilit:

• Observational structures and their logic
  Theoretical Computer Science, 1992
• An overview and synthesis on timed process algebras
  Published by Springer Nature ,1992
• LOTOS-like process algebras with urgent or timed interactions
  Published by Elsevier ,1992
• From ATP to timed graphs and hybrid systems
  Published by Springer Nature ,1992
• Standard ML of New Jersey
  Published by Springer Nature ,1991
• Observing localities
  Lecture Notes in Computer Science, 1991
• Facile: A symmetric integration of concurrent and functional programming
  International Journal of Parallel Programming, 1989
• A timed model for communicating sequential processes
  Theoretical Computer Science, 1988
• CCS without τ's
  Published by Springer Nature ,1987
• The ESTEREL synchronous programming language and its mathematical semantics
  Lecture Notes in Computer Science, 1985