Search results for: Alan Schmitt
Lecture Notes in Computer Science > Generative Programming and Component Engineering > Components and Templates > 389-404
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Regular Contributions > 167-181
Lecture Notes in Computer Science > Distributed Computing > Exploring Gafni’s Reduction Land: From Ω k to Wait-Free Adaptive $(2p-\lceil\frac{p}{k}\rceil)$ -Renaming Via k-Set Agreement > 269-283
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Models and Calculi > 31-46
Lecture Notes in Computer Science > Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics > Multiway synchronization verified with coupled simulation > 348-364
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Processes and Models > 257-271
Lecture Notes in Computer Science > Automata, Languages and Programming > Session 8-Track B. Concurrency > 442-453
Lecture Notes in Computer Science > Global Computing > 146-178
Information and Computation > 2011 > 209 > 11 > 1390-1433
Information and Computation > 2011 > 209 > 2 > 198-226
Journal of Computer and System Sciences > 2007 > 73 > 4 > 669-689