scientific article; zbMATH DE number 1973125

zbMath1017.68080MaRDI QIDQ4421726

Peter Csaba Ölveczky, Mark-Oliver Stehr, José Meseguer

Publication date: 1 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2128/21280250.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (20)

Rewriting logic: Roadmap and bibliography ⋮ Probabilistic Real-Time Rewrite Theories and Their Expressive Power ⋮ Component-Based Security Policy Design with Colored Petri Nets ⋮ Model Checking Reconfigurable Petri Nets with Maude ⋮ Verifiable abstractions for contract-oriented systems ⋮ Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols ⋮ A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems ⋮ Twenty years of rewriting logic ⋮ Modular rewritable Petri nets: an efficient model for dynamic distributed systems ⋮ Session-based concurrency in Maude: executable semantics and type checking ⋮ Canonization of reconfigurable PT nets in \texttt{Maude} ⋮ Unnamed Item ⋮ Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework ⋮ Multiset rewriting for the verification of depth-bounded processes with name binding ⋮ Semantic foundations for generalized rewrite theories ⋮ Programming and symbolic computation in Maude ⋮ A Non-Deterministic Multiset Query Language ⋮ Coding Mobile Synchronizing Petri Nets into Rewriting Logic ⋮ Expander2: Program Verification Between Interaction and Automation ⋮ Specification of real-time and hybrid systems in rewriting logic

Uses Software

• Maude

This page was built for publication: