Joseph Sifakis

Joseph.Sifakis@imag.fr
Tel: (+33) 457 42 22 44

Photo
 
Process Algebras and Modal Logics
Joseph Sifakis
  • 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