English

The Coarsest Precongruences Respecting Safety and Liveness Properties

Logic in Computer Science 2018-12-31 v2
Authors: Rob van Glabbeek
View on arXiv ↗ PDF ↗ DOI ↗

Abstract

This paper characterises the coarsest refinement preorders on labelled transition systems that are precongruences for renaming and partially synchronous interleaving operators, and respect all safety, liveness, and conditional liveness properties, respectively.

Keywords

precongruence refinement preorder safety properties liveness properties conditional liveness labelled transition systems renaming partially synchronous interleaving

Cite

@article{arxiv.1007.5491,
  title  = {The Coarsest Precongruences Respecting Safety and Liveness Properties},
  author = {Rob van Glabbeek},
  journal= {arXiv preprint arXiv:1007.5491},
  year   = {2018}
}

Comments

2018: A reference to Lamport has been corrected into one to Alpern & Schneider

Related papers

View all related →
Logic in Computer Science · Computer Science
Precongruence Formats for Decorated Trace Semantics
B. Bloom, W. J. Fokkink, R. J. van Glabbeek
2007-05-23
Distributed, Parallel, and Cluster Computing · Computer Science
Contextual trace refinement for concurrent objects: Safety and progress
Brijesh Dongol, Lindsay Groves
2016-03-07
Logic in Computer Science · Computer Science
On the specification of modal systems: A comparison of three frameworks
Luca Aceto, Ignacio Fábregas, David de Frutos Escrig, Anna Ingólfsdóttir +1
2024-02-07
Logic in Computer Science · Computer Science
A Safety and Liveness Theory for Total Reversibility (Extended Abstract)
Claudio Antares Mezzina, Vasileios Koutavas
2016-08-01
Logic in Computer Science · Computer Science
Lean and Full Congruence Formats for Recursion
Rob van Glabbeek
2017-04-12
Logic in Computer Science · Computer Science
A Lean-Congruence Format for EP-Bisimilarity
Rob van Glabbeek, Peter Höfner, Weiyou Wang
2023-09-01
Numerical Analysis · Mathematics
Conservative and accurate solution transfer between high-order and low-order refined finite element spaces
Tzanio Kolev, Will Pazner
2022-11-11
Logic in Computer Science · Computer Science
A Lean-Congruence Format for EP-Bisimilarity
Rob van Glabbeek, Peter Höfner, Weiyou Wang
2023-09-18
Logic in Computer Science · Computer Science
Refinement for Transition Systems with Responses
Marco Carbone, Thomas Hildebrandt, Gian Perrone, Andrzej Wąsowski
2012-07-19
Systems and Control · Electrical Eng. & Systems
Safety by Invariance, Liveness through Refinement: Heterogeneous Contract Framework for Co-Design of Layered Control
Yoshinari Takayama, Alessio Iovine, Bart Besselink, Guillaume Sandou +1
2026-05-07
Logic in Computer Science · Computer Science
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types
Luca Ciccone, Luca Padovani
2023-06-22
Logic in Computer Science · Computer Science
Interleaving & Reconfigurable Interaction: Separating Choice from Scheduling using Glue
Yehia Abd Alrahman, Mauricio Martel, Nir Piterman
2021-08-02
Logic in Computer Science · Computer Science
Confluence of Conditional Term Rewrite Systems via Transformations
Karl Gmeiner
2017-01-04
Artificial Intelligence · Computer Science
Aligned but Fragile: Enhancing LLM Safety Robustness via Zeroth-Order Optimization
Zhihao Liu, Yifan Wu, Jian Lou, Di Wang +2
2026-05-29
Logic in Computer Science · Computer Science
Paraconsistent Transition Systems
Ana Cruz, Alexandre Madeira, LuÂ-Ã-s Soares Barbosa
2023-03-24
Logic in Computer Science · Computer Science
Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics
Georgiana Caltais
2015-02-11
Logic in Computer Science · Computer Science
Axiomatizing L\"{u}ttgen and Vogler's ready simulation for finite processes in $\text{CLL}_R$
Yan Zhang, Zhaohui Zhu, Jinjin Zhang
2015-02-13
Methodology · Statistics
Combination Mean Residual Life Order with Reliability Applications
M. Kayid, S. Izadkhah, H. Alhalees
2015-01-08
Logic in Computer Science · Computer Science
Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics
Maciej Gazda, Wan Fokkink
2010-08-13
Rings and Algebras · Mathematics
Semilattices with a congruence
Paolo Lipparini
2025-07-14
Software Engineering · Computer Science
Refinement Calculus of Reactive Systems
Viorel Preoteasa, Stavros Tripakis
2014-06-24
Distributed, Parallel, and Cluster Computing · Computer Science
On Strong Observational Refinement and Forward Simulation
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn +1
2021-08-02
Distributed, Parallel, and Cluster Computing · Computer Science
Putting Strong Linearizability in Context: Preserving Hyperproperties in Programs that Use Concurrent Objects
Hagit Attiya, Constantin Enea
2019-05-30
Software Engineering · Computer Science
Conformance Checking for Trace Fragments Using Infix and Postfix Alignments
Daniel Schuster, Niklas Föcking, Sebastiaan J. van Zelst, Wil M. P. van der Aalst
2022-11-23
Systems and Control · Computer Science
Control refinement for discrete-time descriptor systems: a behavioural approach via simulation relations
Fei Chen, Sofie Haesaert, Alessandro Abate, Siep Weiland
2017-04-07