Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797): Difference between revisions

@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+COWS
@@ Property / describes a project that uses: COWS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BPEL2oWFN
@@ Property / describes a project that uses: BPEL2oWFN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SynchAADL2Maude
@@ Property / describes a project that uses: SynchAADL2Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JavaFAN
@@ Property / describes a project that uses: JavaFAN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Uppaal
@@ Property / describes a project that uses: Uppaal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Orc
@@ Property / describes a project that uses: Orc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Dist-Orc
@@ Property / describes a project that uses: Dist-Orc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Quicksort
@@ Property / describes a project that uses: Quicksort / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlamp.2015.03.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2078030312
@@ Property / OpenAlex ID: W2078030312 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2988998
@@ Property / cites work: Q2988998 / rank @@
+Normal rank
@@ Property / cites work @@
+Executable rewriting logic semantics of Orc and formal analysis of Orc programs
+Normal rank
@@ Property / cites work @@
+Verifying hierarchical Ptolemy II discrete-event models using real-time maude
+Normal rank
@@ Property / cites work @@
+Real time process algebra
@@ Property / cites work: Real time process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra with timing
@@ Property / cites work: Process algebra with timing / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Semantic foundations for generalized rewrite theories
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q2757804
@@ Property / cites work: Q2757804 / rank @@
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Towards verification of computation orchestration
@@ Property / cites work: Towards verification of computation orchestration / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Methodology and Software Technology
@@ Property / cites work: Algebraic Methodology and Software Technology / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+A process algebra for timed systems
@@ Property / cites work: A process algebra for timed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation Using Orchestration
@@ Property / cites work: Simulation Using Orchestration / rank @@
+Normal rank
@@ Property / cites work @@
+A Language for Task Orchestration and Its Semantic Properties
+Normal rank
@@ Property / cites work @@
+The Orc Programming Language
@@ Property / cites work: The Orc Programming Language / rank @@
+Normal rank
@@ Property / cites work @@
+Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures
+Normal rank
@@ Property / cites work @@
+C WS: A Timed Service-Oriented Calculus
@@ Property / cites work: C WS: A Timed Service-Oriented Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A pi-calculus based semantics for WS-BPEL
@@ Property / cites work: A pi-calculus based semantics for WS-BPEL / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+Twenty years of rewriting logic
@@ Property / cites work: Twenty years of rewriting logic / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Methodology and Software Technology
@@ Property / cites work: Algebraic Methodology and Software Technology / rank @@
+Normal rank
@@ Property / cites work @@
+The rewriting logic semantics project
@@ Property / cites work: The rewriting logic semantics project / rank @@
+Normal rank
@@ Property / cites work @@
+The Rewriting Logic Semantics Project: A Progress Report
+Normal rank
@@ Property / cites work @@
+The rewriting logic semantics project: a progress report
+Normal rank
@@ Property / cites work @@
+Modular structural operational semantics
@@ Property / cites work: Modular structural operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of timed processes, ATP: Theory and application
+Normal rank
@@ Property / cites work @@
+Semantics and pragmatics of real-time maude
@@ Property / cites work: Semantics and pragmatics of real-time maude / rank @@
+Normal rank
@@ Property / cites work @@
+Specification of real-time and hybrid systems in rewriting logic
+Normal rank
@@ Property / cites work @@
+Abstraction and Completeness for Real-Time Maude
@@ Property / cites work: Abstraction and Completeness for Real-Time Maude / rank @@
+Normal rank
@@ Property / cites work @@
+A rewriting logic approach to operational semantics
+Normal rank
@@ Property / cites work @@
+Q2703692
@@ Property / cites work: Q2703692 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5392873
@@ Property / cites work: Q5392873 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847797
@@ Property / cites work: Q2847797 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational rules for rewriting logic
@@ Property / cites work: Equational rules for rewriting logic / rank @@
+Normal rank
@@ Property / cites work @@
+A timed semantics of Orc
@@ Property / cites work: A timed semantics of Orc / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2348797