Dynamic structural operational semantics

DOI10.1016/j.jlamp.2019.05.006zbMath1431.68061arXiv1612.00666OpenAlexW2962931273WikidataQ127747241 ScholiaQ127747241MaRDI QIDQ2329443

Olaf Owe, Christian Johansen

Publication date: 17 October 2019

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1612.00666

zbMATH Keywords

concurrent objectsCreoldynamic class upgradesdynamic software updatesmodular structural operational semanticsProteus

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items

Static checking of GDPR-related privacy compliance for object-oriented distributed systems

Uses Software

• Ott
• SPIN
• Maude
• Erlang
• MMT
• Multilisp
• JavAdaptor
• K Prover

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Rewriting logic and its applications. 10th international workshop, WRLA 2014, held as a satellite event of ETAPS, Grenoble, France, April 5--6, 2014. Revised selected papers
• Creol: A type-safe object-oriented model for distributed concurrent systems
• SOS formats and meta-theory: 20 years after
• An overview of the K semantic framework
• Turning SOS rules into equations
• A syntactic approach to type soundness
• Mobile ambients
• Maude: specification and programming in rewriting logic
• An evaluation of interaction paradigms for active objects
• Resource access control in systems of mobile agents
• Modular structural operational semantics
• Compositionality of Hennessy-Milner logic by structural operational semantics
• Notions of bisimulation and congruence formats for SOS with data
• Implicit Propagation in Structural Operational Semantics
• Modular Semantics for Transition System Specifications with Negative Premises
• A Model of Cooperative Threads
• A Distributed Pi-Calculus
• Transitions and Trees
• MULTILISP: a language for concurrent symbolic computation
• The semantics of future and an application
• A foundation for actor computation
• Modular Bisimulation Theory for Computations and Values
• Ott: Effective tool support for the working semanticist
• A model of cooperative threads
• Mutatis mutandis
• Object-Oriented Specification and Open Distributed Systems
• Software Evolution
• A Complete Guide to the Future
• Formal Methods for Components and Objects