All pages tagged with coordination languages

• CM @ SAC 1998
• CM @ SAC 1999
• CM 2000
• CM 2001
• Probabilistic Modular Embedding for Stochastic Coordinated Systems
• Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages
• Prototyping A&A ReSpecT in Maude