Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Collette, Pierre"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A foundation for modular reasoning about safety and progress properties of state-based concurrent programs
Pierre Collette
,
Edgar Knapp
Theoretical Computer Science
183
(2), 1997, pp. 253-279
An explanatory presentation of composition rules for assumption-commitment specifications
Pierre Collette
Information Processing Letters
50
, 1994, pp. 31-35
On unifying assumption-commitment style proof rules for concurrency
Qiwen Xu
,
Antonio Cau
,
Pierre Collette
Lecture Notes in Computer Science
836
, 1994, pp. 267-282