No label defined (Q5119395)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7243676

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7243676

Statements

scholarly article

0 references

0 references

0 references

Robert J. van Glabbeek

0 references

publication date

4 September 2020

0 references

full work available at URL

https://arxiv.org/abs/1801.01180

0 references

https://lmcs.episciences.org/6741

0 references

MaRDI profile type

MaRDI publication profile

0 references

Turing Meets Milner

0 references

Reactive Turing machines

0 references

0 references

Branching Bisimulation Games

0 references

A formal verification technique for behavioural model-to-model transformations

0 references

Theory of interaction

0 references

Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence

0 references

0 references

0 references

Branching Bisimilarity with Explicit Divergence

0 references

Computation Tree Logic with Deadlock Detection

0 references

Towards a unified approach to encodability and separation results for process calculi

0 references

Branching time and abstraction in bisimulation semantics

0 references

Axiomatising divergence

0 references

0 references

On the Executability of Interactive Computation

0 references

A complete axiomatisation for observational congruence of finite-state behaviours

0 references

0 references

0 references

Efficient Property Preservation Checking of Model Refinements

0 references

Identifiers

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5119395

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5119395&oldid=36614370"