Construction et utilisation d'un modèle fonctionnel à un pas d'automate asynchroneBAJDA, V. D; MATROSOVA, A. YU.Avtomatika i telemehanika. 1984, Num 5, pp 117-124, issn 0005-2310Article

Le passage des circuits asynchrones aux circuits apériodiques utilisé pour lutter contre les effets d'instabilité des élémentsROZENBLYUM, L. YA.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1985, Num 1, pp 4-9, issn 0002-3388Article

Complétude fonctionnelle dans la classe des circuits semimodulairesVARSHAVSKIJ, V. I; KISHINEVSKIJ, M. A; MARAKHOVSKIJ, V. B et al.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1985, Num 4, pp 103-114, issn 0002-3388Article

Efficiency of asynchronous systems and read arcs in petri netsVOGLER, W.Lecture notes in computer science. 1997, pp 538-548, issn 0302-9743, isbn 3-540-63165-8Conference Paper

Time processes for time Petri netsAURA, T; LILIUS, J.Lecture notes in computer science. 1997, pp 136-155, issn 0302-9743, isbn 3-540-63139-9Conference Paper

ALGORITHME DE MINIMISATION DES AUTOMATES ASYNCHRONESZUEV IS; SHUMILOV LA.1976; IZVEST. AKAD. NAUK S.S.S.R., TEKH. KIBERN.; S.S.S.R.; DA. 1976; NO 3; PP. 124-127; BIBL. 2 REF.Article

REALISATION DES AUTOMATES ASYNCHRONES DANS LES BASES NON REDONDANTES SANS CONCURRENCESSHUBAREV VA; BRAJLOVSKIJ GS; LAZER IM et al.1982; AVTOM. VYCISL. TEH.; ISSN 504858; SUN; DA. 1982; NO 4; PP. 20-27; BIBL. 8 REF.Article

ZUM TESTEN UND KOMPLETTIEREN VON ASYNCHRONEN AUTOMATEN BEZUEGLICH PRELLUNEMPFINDLICHKEIT. = SUR LE TEST ET LA COMPLETUDE D'AUTOMATES ASYNCHRONES EN CE QUI CONCERNE L'INSENSIBILITE AUX REBORDS DES CONTACTSFRANKE G; KOEGST M.1977; ELEKTRON. INFORM.-VERARBEIT. KYBERN.; DTSCH.; DA. 1977; VOL. 13; NO 6; PP. 281-294; ABS. ANGL. RUSSEArticle

TESTS D'IDENTIFICATION POUR LES AUTOMATES ASYNCHRONESDANILOV VV; ZHIRABOK AN.1978; AVTOMAT. I TELEMEKH.; SUN; DA. 1978; NO 9; PP. 136-141; ABS. ENG; BIBL. 6 REF.Article

Safe realizability of high-level message sequence chartsLOHREY, Markus.Lecture notes in computer science. 2002, pp 177-192, issn 0302-9743, isbn 3-540-44043-7, 16 p.Conference Paper

Three-processor tasks are undecidableGAFNI, E; KOUTSOUPIAS, E.SIAM journal on computing (Print). 1999, Vol 28, Num 3, pp 970-983, issn 0097-5397Article

A hierarchy of equivalences for asynchronous calculiFOURNET, C; GONTHIER, G.Lecture notes in computer science. 1998, pp 844-855, issn 0302-9743, isbn 3-540-64781-3Conference Paper

On asynchrony in name-passing calculiMERRO, M; SANGIORGI, D.Lecture notes in computer science. 1998, pp 856-867, issn 0302-9743, isbn 3-540-64781-3Conference Paper

Constructing Exponential-Size Deterministic Zielonka AutomataGENEST, Blaise; MUSCHOLL, Anca.Lecture notes in computer science. 2006, pp 565-576, issn 0302-9743, isbn 3-540-35904-4, 12 p.Conference Paper

Asynchronous cellular automata and asynchronous automata for pomsetsKUSKE, D.Lecture notes in computer science. 1998, pp 517-532, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Modélisation de la causalité par des relations d'indépendance = Models of causality using independence relationsHusson, Jean-François; Dupieux, J.-L.1996, 140 p.Thesis

Reversible computation in asynchronous cellular automataLEE, Jia; PEPER, Ferdinand; ADACHI, Susumu et al.Lecture notes in computer science. 2002, pp 220-229, issn 0302-9743, isbn 3-540-44311-8, 10 p.Conference Paper

Consistent records in asynchronous computationsBALDONI, R; HELARY, J.-M; RAYNAL, M et al.Acta informatica. 1998, Vol 35, Num 6, pp 441-455, issn 0001-5903Article

SYSTEMES PARFAITEMENT SEPARANTSSAGALOVICH YU L.1982; PROBL. PEREDA. INF.; ISSN 0555-2923; SUN; DA. 1982; VOL. 18; NO 2; PP. 74-82; BIBL. 13 REF.Article

CONTROLE D'EQUIPEMENT DES AUTOMATES ASYNCHRONES SUR LA BASE DES PARTITIONS AVEC UNE PROPRIETE DE SUBSTITUTIONDANILOV VV; ZHIRABOK AN.1979; AVTOMAT. I TELEMEKH.; SUN; DA. 1979; NO 7; PP. 130-136; ABS. ENG; BIBL. 10 REF.Article

SUR LES CALCULS AVEC ANTICIPATIONVAL'KOVSKIJ VA.1979; KIBERNETIKA; UKR; DA. 1979; NO 1; PP. 38-45; BIBL. 3 REF.Article

ANALYSE DES RELATIONS TEMPORELLES DES SIGNAUX DANS UN MODELE BINAIRE PARALLELE D'AUTOMATE ASYNCHRONEESIPOV AS.1976; AVTOMAT. VYCHSLIT. TEKH., LATV. S.S.R.; S.S.S.R.; DA. 1976; NO 6; PP. 12-16; BIBL. 2 REF.Article

CODAGE DES ETATS DES AUTOMATES ASYNCHRONES A CELLULES BISTABLESGURTOVTSEV AL; PETRENKO AF; CHAPENKO VP et al.1978; AUTOMAT. VYCHISHT. TEKH.; SUN; DA. 1978; NO 5; PP. 1-10; BIBL. 6 REF.Article

CRITERE DE STABILITE DU COMPORTEMENT D'UN AUTOMATE SEQUENTIELZAKREVSKIJ AD.1978; DOKL. AKAD. NAUK B.S.S.R.; S.S.S.R.; DA. 1978; VOL. 22; NO 5; PP. 427-428; ABS. ANGL.; BIBL. 3 REF.Article

Page / 4