Weak Bisimilarity Coalgebraically (Q2888485)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Weak Bisimilarity Coalgebraically	scientific article

Statements

scholarly article

0 references

Weak Bisimilarity Coalgebraically (English)

0 references

0 references

Algebra and Coalgebra in Computer Science

0 references

publication date

1 June 2012

0 references

full work available at URL

https://eprints.mdx.ac.uk/15381/1/CALCO2009.pdf

0 references

MaRDI profile type

MaRDI publication profile

0 references

A domain equation for bisimulation

0 references

Automata, Languages and Programming

0 references

Structural operational semantics for weak bisimulations

0 references

Mathematical Foundations of Computer Science 2003

0 references

0 references

Models for name-passing processes: Interleaving and causal

0 references

A fully abstract model for the \(\pi\)-calculus.

0 references

A fully abstract denotational semantics for the \(\pi\)-calculus

0 references

0 references

A calculus of mobile processes. I

0 references

Observing behaviour categorically

0 references

Processes as terms: non-well-founded models for bisimulation

0 references

Universal coalgebra: A theory of systems

0 references

0 references

0 references

Theoretical Aspects of Computing – ICTAC 2005

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-642-03741-2_12

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2888485

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