scientific article

zbMath1272.68322MaRDI QIDQ2851059

Narciso Martí-Oliet, Prasanna Thati, Koushik Sen

Publication date: 2 October 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105825393

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

Mathematics Subject Classification ID

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)

Related Items

Verifiable abstractions for contract-oriented systems ⋮ Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic ⋮ The rewriting logic semantics project ⋮ The rewriting logic semantics project: a progress report ⋮ Twenty years of rewriting logic ⋮ Session-based concurrency in Maude: executable semantics and type checking ⋮ Semantic foundations for generalized rewrite theories ⋮ Applications and extensions of context-sensitive rewriting ⋮ A rewriting logic approach to operational semantics ⋮ The Rewriting Logic Semantics Project: A Progress Report ⋮ Coding Mobile Synchronizing Petri Nets into Rewriting Logic

Uses Software

• ELAN
• Maude

Cites Work

• A calculus of mobile processes. II
• Testing equivalences for processes
• Trace and testing equivalence on asynchronous processes
• Testing equivalence for mobile processes
• Proof Techniques for Cryptographic Processes
• A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching
• A semantics preserving actor translation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item