A calculus of value broadcasts

This publication has 13 references indexed in Scilit:

• Transition system specifications with negative premises
  Published by Springer Nature ,2005
• Priorities in process algebras
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• On the relationship between process algebra and input/output automata
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Parallel perceptron learning on a single-channel broadcast communication model
  Parallel Computing, 1992
• A semantics for ML concurrency primitives
  Published by Association for Computing Machinery (ACM) ,1992
• A proof system for communicating processes with value-passing
  Formal Aspects of Computing, 1991
• A calculus of broadcasting systems
  Published by Springer Nature ,1991
• Parallel graph algorithms based upon broadcast communications
  IEEE Transactions on Computers, 1990
• Facile: A symmetric integration of concurrent and functional programming
  International Journal of Parallel Programming, 1989
• Observation equivalence as a testing equivalence
  Theoretical Computer Science, 1987