dblp.uni-trier.dewww.uni-trier.de

Sibylle Peuker

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003
6EESibylle Peuker, Ian J. Hayes: Reasoning about Deadlines in Concurrent Real-Time Programs. IPDPS 2003: 237
5EESibylle Peuker: Concurrency Based Transition Refinement for the Verification of Distributed Algorithms. Petri Net Technology for Communication-Based Systems 2003: 430-454
2002
4EESibylle Peuker: Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm. ICATPN 2002: 374-393
3EESibylle Peuker, Ian J. Hayes: Towards a Refinement Calculus for Concurrent Real-Time Programs. ICFEM 2002: 335-346
2001
2EESibylle Peuker: Property Preserving Transition Refinement with Concurrent Runs: An Example. ACSD 2001: 77-86
1999
1 Ekkart Kindler, Sibylle Peuker: Integrating Distributed Algorithms into Distributed Systems. Fundam. Inform. 37(3): 291-308 (1999)

Coauthor Index

1Ian J. Hayes [3] [6]
2Ekkart Kindler [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)