Searching for authors named "Markus Roggenbach" – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
Formal Methods 1 Formal Methods
- … Formal Methods Markus Roggenbach September 2004 Formal Methods 1 Formal Methods "Use…
- Add To MetaCart
-
On Completions of Semantic Domains
- …On completions of semantic domains Markus Roggenbach May 10, 1996 Abstract This paper adds…
- Add To MetaCart
-
CSP-Casl – A new integration of process algebra and algebraic specification
- …CSP-CASL — A New Integration of Process Algebra and Algebraic Specification Markus Roggenbach…
- Cited by 13 (6 self) – Add To MetaCart
-
unknown title
- … CCC --The CASL Consistency Checker Christoph L"uth 1 , Markus Roggenbach 2 , and Lutz Schr…
- Add To MetaCart
-
Structured CSP – A Process Algebra as an Institution ∗
- …Structured CSP – A Process Algebra as an Institution ∗ Till Mossakowski 1 and Markus Roggenbach 2…
- Add To MetaCart
-
CSP-CASL-Prover — Tool integration and algorithms for automated proof generation
- … , Yoshinao Isobe 2 , Markus Roggenbach 1⋆ 1 Swansea University, United Kingdom 2 AIST, Tsukuba, Japan…
- Add To MetaCart
-
The Datatypes REAL and COMPLEX in CASL
- … Markus Roggenbach E-mail address for comments: till@(email omitted); CoFI: The Common Framework…
- Add To MetaCart
-
A generic theorem prover of CSP refinement
- …A Generic Theorem Prover of CSP Refinement ∗ Yoshinao Isobe 1 and Markus Roggenbach 2 1 AIST…
- Cited by 6 (5 self) – Add To MetaCart
-
Transition Systems From Event Structures Revisited
- …Transition systems from event structures revisited Mila Majster-Cederbaum, Markus Roggenbach 1…
- Cited by 1 (1 self) – Add To MetaCart
-
On an Abstract Characterization of Bisimulation
- … Markus Roggenbach y Universitat Mannheim Abstract [AM89] and [JNW94] present abstract concepts…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
