A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories

DOI10.1007/978-3-319-51963-0_5MaRDI QIDQ2971124zbMATH OpenOpenAlexFDO

Authors Uli Fahrenberg, Axel Legay

Publication date 4 April 2017

Published in SOFSEM 2017: Theory and Practice of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-51963-0_5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A linear-time-branching-time spectrum for behavioral specification theories
• A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum
• CONCUR 2005 – Concurrency Theory
• Revisiting timed specification theories: a linear-time perspective
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• Towards bialgebraic semantics for the linear time -- branching time spectrum
• Unifying the linear time-branching time spectrum of process semantics
• A spectrum of behavioral relations over LTSs on probability distributions
• scientific article; zbMATH DE number 177267
• scientific article; zbMATH DE number 177521

Cites work

• scientific article; zbMATH DE number 3919813 (Why is no real title available?)
• 20 years of modal and mixed specifications.
• A Theory of Communicating Sequential Processes
• A context dependent equivalence between processes
• A modal interface theory for component-based design
• ACTL for modal interface automata
• Algebraic laws for nondeterminism and concurrency
• Bisimulation through probabilistic testing
• Calculi for synchrony and asynchrony
• Communicating sequential processes
• Ensuring reachability by design
• Extending modal transition systems with structured labels
• Failures semantics and deadlocking of modular Petri nets
• General quantitative specification theories with modal transition systems
• Modal event-clock specifications for timed component-based design
• Modal transition systems: composition and LTL model checking
• Modular construction and partial order semantics of Petri nets
• Nested semantics over finite trees are equationally hard
• Structured operational semantics and bisimulation as a congruence
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• The quantitative linear-time-branching-time spectrum
• Weighted modal transition systems

Cited in

(2)

• Computing branching distances with quantitative games
• A linear-time-branching-time spectrum for behavioral specification theories

This page was built for publication: A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2971124)