Sortiert nach
Logical methods in computer science, 2022-01, Vol.18, Issue 2
2022
Link zum Volltext
Logical methods in computer science, 2021-01, Vol.17, Issue 3
2021
Link zum Volltext
Logical methods in computer science, 2007-11, Vol.3, Issue 4
2007
Link zum Volltext
Theoretical computer science, 2011-09, Vol.412 (38), p.5095-5110
2011
Link zum Volltext
Journal of computer and system sciences, 2015-08, Vol.81 (5), p.859-879
2015
Link zum Volltext
Journal of logic and computation, 2010-10, Vol.20 (5), p.1041-1068
2010
Link zum Volltext
Theoretical computer science, 2004-10, Vol.327 (1), p.3-22
2004
Link zum Volltext
Electronic notes in theoretical computer science, 2011-09, Vol.276, p.291-311
2011
Link zum Volltext
Electronic notes in theoretical computer science, 2006-10, Vol.164 (1), p.47-65
2006
Link zum Volltext
Electronic notes in theoretical computer science, 2003-07, Vol.82 (1), p.57-75
2003
Link zum Volltext
Electronic notes in theoretical computer science, 2005-03, Vol.122, p.211-228
2005
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Theory & Methods
- Science & Technology
- Technology
- Trace Semantics
- Logic
- Science & Technology - Other Topics
- Bisimulation
- Computer Science - Logic In Computer Science
- Kleisli Category
- Cocongruence
- G.3
- Markov Chains
- Markov Processes
- Monad
- Non-Determinism
- Preservation And Reflection Of Bisimulation
- Probabilistic Automata
- Probabilistic Bisimulation
Kollektion