Executable rewriting logic semantics of Orc and formal analysis of Orc programs
From MaRDI portal
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
Cites work
- scientific article; zbMATH DE number 1678357 (Why is no real title available?)
- scientific article; zbMATH DE number 1189278 (Why is no real title available?)
- 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
- 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 Orc Programming Language
- The algebra of timed processes, ATP: Theory and application
- 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)- Twenty years of rewriting logic
- A timed semantics of Orc
- The Orc Programming Language
- A UTP semantic model for Orc language with execution status and fault handling
- Towards verification of computation orchestration
- Simulation Using Orchestration
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs
- A denotational semantical model for Orc language
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)
