- S.
Graf and J. Sifakis - A
Modal Characterization of Observational Congruence on Finite Terms
of CCS
ICALP
84, Antwerpen, LNCS 172, 1984
- S.
Graf and J. Sifakis - From
synchronization tree logic to acceptance model logic
Workshop
on logics of programs, Brooklyn, LNCS 193, 1985
- S.
Graf and J. Sifakis - A
logic for the specification and proof of regular controllable processes
of CCS
Logics
and Models of Concurrent Systems, NATO ASI Series F, Vol. 13, Springer
Verlag, 1985
- S.
Graf and J. Sifakis - A
Logic for the Description of non Deterministic Programs and their
Properties
Information
and Control, Vol. 68, No 1-3, 1986
- S.
Graf and J. Sifakis - A
logic for the specification and proof of regular controllable processes
of CCS
Acta
Informatica, Vol. 23, pp. 507-527, 1986
- S.
Graf and J. Sifakis - Readiness
Semantics for Regular Processes with Silent Actions
ICALP
87, Karlsruhe, LNCS 267, Jul. 1987
- S.
Graf and J. Sifakis - An
expressive logic for a process algebra with silent actions
Int.
Colloquium on Temporal Logic in Specification, LNCS 398, 1987
- A.
Bouajjani and S. Graf and J. Sifakis - A
Logic for the description of Behaviours and Properties of Concurrent
Systems
REX
Workshop on Linear Time, Branching Time and Partial Order in Logics
and Models for Concurrency, May 1988
- A.
Bouajjani and J.Cl. Fernandez and S. Graf and C. Rodriguez and J.
Sifakis - Safety
for Branching Time Semantics
18th
ICALP, LNCS 510, July 1991
- C.
Courcoubetis and S. Graf and J. Sifakis - An
Algebra for Boolean Processes
Workshop
on Computer-Aided Verification 91, Aalborg, LNCS 575, June 1991
|