Time abstracted bisimulation: Implicit specifications and decidability

DOI10.1007/3-540-58027-1_8MaRDI QIDQ5890046zbMATH OpenOpenAlexFDO

Authors Wang Yi, Kim G. Larsen

Publication date 28 April 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-58027-1_8

zbMATH Keywords

full versionoperational semanticparallel compositionsymbolic model checksymbolic state

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Time-abstracted bisimulation: Implicit specifications and decidability
• scientific article; zbMATH DE number 1678357
• scientific article; zbMATH DE number 1061012
• Analysis of equivalence relations of event structures with continuous time
• Analysis of timed systems using time-abstracting bisimulations

Cites work

• CCS expressions, finite state processes, and three problems of equivalence
• scientific article; zbMATH DE number 3956423 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 177824 (Why is no real title available?)
• Three Partition Refinement Algorithms

Cited in

(6)

• Time-abstracted bisimulation: Implicit specifications and decidability
• scientific article; zbMATH DE number 1061012 (Why is no real title available?)
• A modal characterization of alternating approximate bisimilarity
• On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
• CONCUR 2005 – Concurrency Theory
• Cycle encoding-based parameter synthesis for timed automata safety

This page was built for publication: Time abstracted bisimulation: Implicit specifications and decidability

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