A timed semantics of Orc

DOI10.1016/j.tcs.2008.04.037zbMath1147.68436OpenAlexW2124831391WikidataQ60308244 ScholiaQ60308244MaRDI QIDQ935476

Ian Wehrman, William R. Cook, Jayadev Misra, David Kitchin

Publication date: 6 August 2008

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.04.037

zbMATH Keywords

process algebrasemanticsconcurrencytimeweb servicesOrccomputation orchestration

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Related Items (14)

Modelling web-service uncertainty: the angel/daemon approach ⋮ A UTP semantic model for Orc language with execution status and fault handling ⋮ The Robustness of Periodic Orchestrations in Uncertain Evolving Environments ⋮ The computational complexity of QoS measures for orchestrations. The computational complexity of QoS measures ⋮ A Denotational Semantic Theory of Concurrent Systems ⋮ The rewriting logic semantics project: a progress report ⋮ Twenty years of rewriting logic ⋮ Computational aspects of uncertainty profiles and angel-daemon games ⋮ Reasoning about orchestrations of web services using partial correctness ⋮ A timed semantics of Orc ⋮ CaSPiS: a calculus of sessions, pipelines and services ⋮ Towards verification of computation orchestration ⋮ The Rewriting Logic Semantics Project: A Progress Report ⋮ Executable rewriting logic semantics of Orc and formal analysis of Orc programs

Uses Software

• Maude

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A timed semantics of Orc
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• The algebra of timed processes, ATP: Theory and application
• A causal semantic for time Petri nets
• A process algebra for timed systems
• Discrete time process algebra
• Executable rewriting logic semantics of Orc and formal analysis of Orc programs
• On the expressiveness of timed coordination models
• The Two-Phase Commitment Protocol in an Extended π-Calculus
• CONCUR 2004 - Concurrency Theory
• A Language for Task Orchestration and Its Semantic Properties

This page was built for publication: A timed semantics of Orc