Searching for authors named "Walter Vogler" – sorted by Relevance.
23 documents found, showing 1 through 10.
Next 10 →
-
Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
- …Efficiency of Asynchronous Systems, Read Arcs, and the MUTEX-Problem Walter Vogler Institut fur…
- Cited by 1 (1 self) – Add To MetaCart
-
Partial Order Semantics and Read Arcs
- …Partial Order Semantics and Read Arcs Walter Vogler Institut fur Informatik, Universitat…
- Cited by 16 (3 self) – Add To MetaCart
-
Concurrent implementations of asynchronous transition systems
- … Walter Vogler Report 1998-5 Dezember 1998 Institut f ur Informatik D-86135 Augsburg Copyright c fl…
- Cited by 4 (0 self) – Add To MetaCart
-
Bisimulation on speed: A unified approach
- …Bisimulation on Speed: A Unified Approach Gerald Lüttgen 1 and Walter Vogler 2 1 Department…
- Cited by 4 (0 self) – Add To MetaCart
-
Bisimulation on speed: Lower time bounds
- …Universität Augsburg Bisimulation on Speed: Lower Time Bounds Gerald Lüttgen and Walter Vogler…
- Cited by 2 (1 self) – Add To MetaCart
-
Component refinement and CSC solving for STG decomposition
- …Component Refinement and CSC Solving for STG Decomposition ⋆ Mark Schaefer and Walter Vogler…
- Cited by 5 (4 self) – Add To MetaCart
-
A Faster-than Relation for Asynchronous Processes
- …A Faster{than Relation for Asynchronous Processes ? Gerald Luttgen 1 and Walter Vogler 2 1…
- Cited by 1 (1 self) – Add To MetaCart
-
Ready Simulation for Concurrency: It’s Logical!
- …Ready Simulation for Concurrency: It’s Logical! Gerald Lüttgen 1 and Walter Vogler 2 1 Department…
- Cited by 1 (1 self) – Add To MetaCart
-
Conjunction on processes: Full-abstraction via ready-tree semantics
- … of Computer Science, University of York, York YO10 5DD, UK Walter Vogler 2 Institut für Informatik…
- Cited by 2 (2 self) – Add To MetaCart
-
Fast Asynchronous Systems in Dense Time
- …Fast Asynchronous Systems in Dense Time Lars Jenner, Walter Vogler Institut fur Mathematik…
- Cited by 13 (10 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
