DEADLOCKS AND LIVELOCKS IN TRANSITION SYSTEMSSIFAKIS J.1980; MATH. APPL. INFORMAT., RAPP. RECH.; FRA; DA. 1980; NO 185; 26 P.; ABS. FRE; BIBL. 3 P.Serial Issue

A UNIFIED APPROACH FOR STUDYING THE PROPERTIES OF TRANSITION SYSTEMSSIFAKIS J.1982; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1982; VOL. 18; NO 3; PP. 227-258; BIBL. 34 REF.Article

PERFORMANCE EVALUATION OF SYSTEMS USING NETSSIFAKIS J.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; NO 84; PP. 307-319; BIBL. 4 REF.Conference Paper

HOMOMORPHISMS OF PETRI NETS. APPLICATION TO THE REALIZATION OF FAULT TOLERANT SYSTEMS.SIFAKIS J.1977; MATH. APPL. INFORMAT., RAPP. RECH.; FR.; DA. 1977; NO 90; PP. 1-27; BIBL. 2 P.Article

USE OF PETRI NETS FOR PERFORMANCE EVALUATION.SIFAKIS J.1977; IN: MODELLING PERFORMANCE EVAL. COMPUT. SYST. INT. SYMP. 3; BONN-BAD GODESBERG; 1977; AMSTERDAM; NORTH HOLLAND; DA. 1977; PP. 75-93; BIBL. 1 P.Conference Paper

ETUDE D'UNE ALGEBRE BOOLEENNE TEMPORELLESIFAKIS J.1972; C.R. ACAD. SCI., A; FR.; DA. 1972; VOL. 275; NO 25; PP. 1343-1346; BIBL. 1 REF.Serial Issue

ETUDE DU COMPORTEMENT PERMANENT DES RESEAUX DE PETRI TEMPORISES.SIFAKIS J.sdMATH. APPL. INFORMAT., RAPP. RECH.; FR.; DA. S.D.; NO 68; PP. 1-43; ABS. ANGL.; BIBL. 7 REF.Serial Issue

DEADLOCKS AND LIVELOCKS IN TRANSITION SYSTEMSSIFAKIS J.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 587-600; BIBL. 23 REF.Conference Paper

GLOBAL AND LOCAL INVARIANTS IN TRANSITION SYSTEMSSIFAKIS J.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 510-522; BIBL. 15 REF.Conference Paper

MODELES TEMPORELS DES SYSTEMES LOGIQUES.SIFAKIS J.1974; AO-CNRS-10440; FR.; DA. 1974; PP. 1-195; BIBL. 2 P.; (THESE DOCT. ING. INF., UNIV. SCI. MED. GRENOBLE)Thesis

UNIVERSAL PRESET TESTS OF SEQUENTIAL CIRCUITS.PAYAN C; SIFAKIS J.1976; IN: F.T.C.S. 6. 1976 INT. SYMP. FAULT-TOLERANT COMPUT.; PITTSBURGH, PA.; 1976; LONG BEACH; INST. ELECTR. ELECTRON. ENG.; DA. 1976; PP. 75-79; BIBL. 14 REF.Conference Paper

SPECIFICATION AND VERIFICATION OF CONCURRENT SYSTEMS IN CESARQUEILLE JP; SIFAKIS J.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 337-351; BIBL. 2 P.Conference Paper

SUR LES PROPRIETES DES SEQUENCES PARCOURANT LES ARCS D'UN GRAPHE ORIENTE-ETIQUETE.PAYAN C; SIFAKIS J.1976; IN: ANAL. APPL. INF. JOURN. COMB. INF.; BORDEAUX; 1975; BORDEAUX; UNIV. BORDEAUX I; DA. 1976; PP. 273-277; ABS. ANGL.Conference Paper

RESEAUX DE PETRI SYNCHRONISES.MOALLA M; PULOU J; SIFAKIS J et al.1978; R.A.I.R.O., AUTOMAT.; FR.; DA. 1978; VOL. 12; NO 2; PP. 103-130; BIBL. 1 P. 1/2Article

A LA RECHERCHE D'UNE METHODOLOGIE DE CONCEPTION SURE DES AUTOMATISMES LOGIQUES BASEE SUR L'UTILISATION DES RESEAUX DE PETRIMOALLA M; SIFAKIS J; SILVA M et al.1978; MATH. APPL. INFORMAT., RAPP. RECH.; FRA; DA. 1978; NO 138; PP. 1-43; BIBL. 6 P.Serial Issue

UN LANGAGE D'AIDE A LA CONCEPTION ET A LA SIMULATION DE SYSTEMES COMPLEXES.MOALLA M; SIFAKIS J; ZACHARIADES M et al.1975; USM-INPG-MATH. APPL. INF.-RR-16; FR.; DA. 1975; PP. 1-27; BIBL. 1 P. 1/2Report

RESEAUX DE PETRI SYNCHRONISES.MOALLA M; PULOU J; SIFAKIS J et al.1977; MATH. APPL. INFORMAT., RAPP. RECH.; FR.; DA. 1977; NO 80; PP. 1-34; ABS. ANGL.; BIBL. 2 P.Serial Issue

MAS: UN OUTIL D'AIDE A LA DESCRIPTION ET A LA CONCEPTION DES AUTOMATISMES LOGIQUES.MOALLA M; SIFAKIS J; ZACHARIADES M et al.1976; IN: AUTOM. LOGIQUES. RECH. APPL. IND. COLLOQ.; PARIS; 1976; PARIS; ASSOC. FR. CYBERN. ECON. TECH.; DA. 1976; PP. 21-38; BIBL. 7 REF.Conference Paper

The algebra of timed processes, ATP: theory and applicationNICOLLIN, X; SIFAKIS, J.Information and computation (Print). 1994, Vol 114, Num 1, pp 131-178, issn 0890-5401Article

La vérification automatisée des systèmes = Automated system verificationSIFAKIS, J.Le Courrier du C.N.R.S. 1993, Num 80, issn 0153-985X, p. 44Article

Fairness and related properties in transition systems. A temporal logic to deal with fairnessQUEILLE, J. P; SIFAKIS, J.Acta informatica. 1983, Vol 19, Num 3, pp 195-220, issn 0001-5903Article

A logic for the specification and proof of regular controllable processes of CCSGRAF, S; SIFAKIS, J.Acta informatica. 1986, Vol 23, Num 5, pp 507-527, issn 0001-5903Article

A DESIGN TOOL FOR THE MULTILEVEL DESCRIPTION AND SIMULATION OF SYSTEMS OF INTERCONNECTED MODULES.MOALLA M; SAUCIER G; SIFAKIS J et al.1976; IN: ANNU. SYMP. COMPUT. ARCHIT. 3; CLEAWATER, FLA.; 1976; NEW YORK; INST. ELECTR. ELECTRON. ENG.; DA. 1976; PP. 20-27; BIBL. 28 REF.Conference Paper

FAIRNESS AND RELATED PROPERTIES IN TRANSITION SYSTEMS. A TIME LOGIC TO DEAL WITH FAIRNESSQUEILLE JP; SIFAKIS J.1982; ; FRA; DA. 1982; IMAG-RR/292; 30 P.; 30 CM; ABS. FRE; BIBL. 2 P.;[RAPP. RECH. - LAB. INFORM. MATH. APPL. GRENOBLE; VOL. RR-292]Report

SPECIFICATION AND VERIFICATION OF CONCURRENT SYSTEMS IN CESAR: AN EXAMPLEQUEILLE JP; SIFAKIS J.1981; ; FRA; DA. 1981; IMAG-RR/254; 33 P.; 30 CM; ABS. FRE; BIBL. 2 P.;[RAPP. RECH.-LAB. INFORM. MATH. APPL. GRENOBLE; VOL. RR-254]Report