Executable rewriting logic semantics of Orc and formal analysis of Orc programs
From MaRDI portal
Logic in computer science (03B70) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
Cites work
- A Language for Task Orchestration and Its Semantic Properties
- A pi-calculus based semantics for WS-BPEL
- A process algebra for timed systems
- A rewriting logic approach to operational semantics
- A timed semantics of Orc
- Abstraction and completeness for real-time Maude
- Algebraic Methodology and Software Technology
- Algebraic Methodology and Software Technology
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Automated Reasoning
- C WS: A Timed Service-Oriented Calculus
- CINNI -- a generic calculus of explicit substitutions and its application to -, - and -calculi
- Computer Aided Verification
- Conditional rewriting logic as a unified model of concurrency
- Equational rules for rewriting logic
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs
- Formal Methods for the Design of Real-Time Systems
- scientific article; zbMATH DE number 1678357 (Why is no real title available?)
- scientific article; zbMATH DE number 1189278 (Why is no real title available?)
- Mobile ambients
- Model-checking web services orchestrations using BP-calculus
- Modeling business processes. A Petri net-oriented approach
- Modular structural operational semantics
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- Process algebra with timing
- Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures
- Real time process algebra
- Semantic foundations for generalized rewrite theories
- Semantics and pragmatics of real-time maude
- Simulation Using Orchestration
- Specification of real-time and hybrid systems in rewriting logic
- The algebra of timed processes, ATP: Theory and application
- The Orc Programming Language
- The rewriting logic semantics project
- The rewriting logic semantics project: a progress report
- The rewriting logic semantics project: a progress report
- Towards a formal foundation to orchestration languages
- Towards verification of computation orchestration
- Twenty years of rewriting logic
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude
Cited in
(8)- A UTP semantic model for Orc language with execution status and fault handling
- Twenty years of rewriting logic
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs
- A denotational semantical model for Orc language
- The Orc Programming Language
- Simulation Using Orchestration
- Towards verification of computation orchestration
- A timed semantics of Orc
Describes a project that uses
Uses Software
This page was built for publication: Executable rewriting logic semantics of Orc and formal analysis of Orc programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2348797)
