A structural approach to operational semantics
From MaRDI portal
Publication:1878719
DOI10.1016/j.jlap.2004.05.001zbMath1082.68062OpenAlexW4210639184MaRDI QIDQ1878719
Publication date: 8 September 2004
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2004.05.001
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
On distributability, Soundness Conditions for Big-Step Semantics, On Implementable Timed Automata, Unnamed Item, Compositionality of Hennessy-Milner logic by structural operational semantics, Fairness for Infinitary Control, Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP, A compositional coalgebraic model of fusion calculus, A general SOS theory for the specification of probabilistic transition systems, Generating Specialized Interpreters for Modular Structural Operational Semantics, Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?, On Rule Formats for Zero and Unit Elements, Nominal SOS, A Pre-congruence Format for XY-simulation, Coalgebraic Semantic Model for the Clock Constraint Specification Language, Unnamed Item, Reversing algebraic process calculi, Revisiting concurrent separation logic, Encodability criteria for quantum based systems, Unnamed Item, Natural Quantum Operational Semantics with Predicates, A unified rule format for bounded nondeterminism in SOS with terms as labels, Rewriting Strategies and Strategic Rewrite Programs, Weak Bisimulation as a Congruence in MSOS, From Rewriting Logic, to Programming Language Semantics, to Program Verification, Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap, Parallelized sequential composition and hardware weak memory models, Variants of spiking neural P systems and their operational semantics in Haskell, A Survey of the Proof-Theoretic Foundations of Logic Programming, Enriched Lawvere Theories for Operational Semantics, Compositional equivalences based on open pNets, Ugo Montanari and Concurrency Theory, Back to the format: a survey on SOS for probabilistic processes, Analysing AWN-Specifications Using mCRL2 (Extended Abstract), Equivalence checking 40 years after: a review of bisimulation tools, Denotational and algebraic semantics for the CaIT calculus, A process calculus for spiking neural P systems, SOS rule formats for idempotent terms and idempotent unary operators, Unnamed Item, A modular order-sorted equational generalization algorithm, The untyped computational \(\lambda \)-calculus and its intersection type discipline, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Distributability of mobile ambients, Unnamed Item, A Rule Format for Associativity, Strategic port graph rewriting: an interactive modelling framework, Axiomatizing weak simulation semantics over BCCSP, Selective strictness and parametricity in structural operational semantics, inequationally, Model Decomposition and Stochastic Fragments, Modularity and Implementation of Mathematical Operational Semantics, Notions of bisimulation and congruence formats for SOS with data, Formal SOS-Proofs for the Lambda-Calculus, PVS Embedding of cCSP Semantic Models and Their Relationship, Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors, Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence, Unnamed Item, Bisimulation and coinduction enhancements: a historical perspective, Validating Timed Models of Deployment Components with Parametric Concurrency, Whither semantics?, Incremental and Modular Context-sensitive Analysis, A Timed Process Algebra for Wireless Networks with an Application in Routing, A formal approach to the engineering of domain-specific distributed systems, Implicit Propagation in Structural Operational Semantics, Order-Sorted Generalization, Formalizing Operational Semantic Specifications in Logic, From Reduction-Based to Reduction-Free Normalization, Mechanized metatheory revisited, Coverability Synthesis in Parametric Petri Nets, Labelled port graph -- a formal structure for models and computations, Non Expansive ε-Bisimulations, Decidable first-order transition logics for PA-processes, Monadic second-order incorrectness logic for GP 2, Relational presheaves, change of base and weak simulation, Syntactic Logical Relations for Polymorphic and Recursive Types, Remarks on Testing Probabilistic Processes, Structuring Operational Semantics: Simplification and Computation, Relating Hybrid Chi to Other Formalisms, Rule-Based Operational Semantics for an Imperative Language, Bialgebraic Methods in Structural Operational Semantics, Notes on Generative Probabilistic Bisimulation, Towards SOS Meta-Theory for Language-Based Security, Operational Semantics of Reversibility in Process Algebra, On Probabilistic Techniques for Data Flow Analysis, Simulations Up-to and Canonical Preorders, Bi-inductive Structural Semantics, A Rewriting Logic Approach to Operational Semantics (Extended Abstract), Compositional verification of asynchronous concurrent systems using CADP, A Calculus for Team Automata, A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters, What is the natural abstraction level of an algorithm?, Modelling and analysing neural networks using a hybrid process algebra, Higher-level synchronising devices in Meije-SCCS, A UTP approach for rTiMo, About fair asynchrony, Mechanizing a process algebra for network protocols, A syntactic commutativity format for SOS, On the operational semantics of nondeterminism and divergence, A rewriting logic framework for operational semantics of membrane systems, The rewriting logic semantics project, SOS formats and meta-theory: 20 years after, Concurrency and atomicity, Splitting atoms safely, Structural operational semantics for stochastic and weighted transition systems, Processes with infinite liveness requirements, SOS specifications for uniformly continuous operators, A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences, Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity, Designing a semantic model for a wide-spectrum language with concurrency, The rewriting logic semantics project: a progress report, Reactive Turing machines, A logical semantics for depth-first Prolog with ground negation, The definition of Extended ML: A gentle introduction, Revisiting sequential composition in process calculi, Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity, Denotational semantics and its algebraic derivation for an event-driven system-level language, Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet, Rule formats for determinism and idempotence, Structural operational semantics through context-dependent behaviour, Verification of object-oriented programs: a transformational approach, Bialgebras for structural operational semantics: an introduction, Proof systems for satisfiability in Hennessy-Milner logic with recursion, A\(^ 2\)CCS: Atomic actions for CCS, Formal modeling and validation of a power-efficient grouping protocol for WSNs, An operational semantics of occam, A partial ordering semantics for CCS, Towards a unified approach to encodability and separation results for process calculi, Deriving structural labelled transitions for mobile ambients, Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language, Compositional semantics and behavioral equivalences for P systems, A formal library of set relations and its application to synchronous languages, Bisimulation through probabilistic testing, Integrating deployment architectures and resource consumption in timed object-oriented models, Partial specifications and compositional verification, Static semantics, types, and binding time analysis, Executable component-based semantics, On the expressive power of finitely typed and universally polymorphic recursive procedures, Models for concurrency: Towards a classification, Location equivalence in a parametric setting, Structural operational semantics for weak bisimulations, A theory of processes with durational actions, The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\), A layered semantics for a parallel object-oriented language, Content dependent information flow control, A language-based approach to modelling and analysis of Twitter interactions, Some undecidable properties of SOS specifications, From imperative to rule-based graph programs, Flag-based big-step semantics, Strict coherence of conditional rewriting modulo axioms, Universal axioms for bisimulations, Graph rewriting for a partial ordering semantics of concurrent constraints programming, An algebraic semantics for structured transition systems and its application to logic programs, Rule formats for distributivity, A type system for counting instances of software components, Lifting non-finite axiomatizability results to extensions of process algebras, On the axiomatizability of priority. II, SOS rule formats for zero and unit elements, Unguardedness mostly means many solutions, On cool congruence formats for weak bisimulations, A semantics for behavior trees using CSP with specification commands, Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes, The equational theory of prebisimilarity over basic CCS with divergence, On the expressibility of priority, Quantitative analysis of weighted transition systems, Inter-deriving semantic artifacts for object-oriented programming, Compositional semantics of spiking neural P systems, An overview of the K semantic framework, A brief history of process algebra, A process calculus BigrTiMo of mobile systems and its formal semantics, An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation, A logical and graphical framework for reaction systems, Many-sorted hybrid modal languages, An operational semantics for object-oriented concepts based on the class hierarchy, Operational semantics with semicommutations, Semantics and expressiveness of ordered SOS, Generating priority rewrite systems for OSOS process languages, (Bi)simulations up-to characterise process semantics, Bi-inductive structural semantics, Coinductive big-step operational semantics, A rewriting logic approach to operational semantics, A note on the notation of recursion in process algebras, Operational and denotational semantics for the box algebra, A complete equational axiomatization for MPA with string iteration, Concurrency and knowledge-level communication in agent languages, On the computational power of BlenX, Algèbre de processus et synchronisation, Gaining trust by tracing security protocols, Parametric channels via label expressions in CCS, A complete modal proof system for HAL: the Herbrand agent language, On guarded recursion, Composition laws for entropy and temperature in tree-like graphs
