scientific article; zbMATH DE number 177795

zbMATH Open0765.68144MaRDI QIDQ4038673FDOQ4038673

Authors: Ph Schnoebelen, Sophie Pinchinat 

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

Recommendations

• “Sometimes” and “not never” revisited
• The temporal logic of branching time
• scientific article; zbMATH DE number 3878351
• Three logics for branching bisimulation
• scientific article; zbMATH DE number 4119600

zbMATH Keywords

observational equivalencesparallel programsbranching-time temporal logicnon-deterministic programsbisimulation semantics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (3)

• Expressive completeness failure in branching time structures
• Sublogics of a branching time logic of robustness
• Weakest precondition semantics for time and concurrency

This page was built for publication:

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