Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Two case studies of semantics execution in Maude: CCS and LOTOS - MaRDI portal

Two case studies of semantics execution in Maude: CCS and LOTOS

From MaRDI portal

Publication:816216

Jump to:navigation, search

DOI10.1007/s10703-005-2254-xzbMath1086.68552OpenAlexW2053342841WikidataQ123905900 ScholiaQ123905900MaRDI QIDQ816216

Alberto Verdejo, Narciso Martí-Oliet

Publication date: 20 February 2006

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-005-2254-x

zbMATH Keywords

rewriting logic CCS Maude ACT ONE executable semantic framework Hennessy-Milner modal logic internal strategies symbolic semantics for LOTOS

Mathematics Subject Classification ID

Logic in computer science (03B70) 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) Grammars and rewriting systems (68Q42)

Related Items

Rewriting logic: Roadmap and bibliography ⋮ The rewriting logic semantics project ⋮ SOS formats and meta-theory: 20 years after ⋮ The rewriting logic semantics project: a progress report ⋮ Twenty years of rewriting logic ⋮ Strategy based semantics for mobility with time and access permissions ⋮ The Rewriting Logic Semantics Project: A Progress Report ⋮ Maude: specification and programming in rewriting logic ⋮ Two case studies of semantics execution in Maude: CCS and LOTOS

Uses Software

Cites Work

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:816216&oldid=12753345"