Contributions à la sémantique du parallélisme : bisimulations pour le raffinement et le vrai parallélisme

Description

.

Links & Downloads

1. http://tel.archives-ouvertes.fr/tel-00341775
2. http://tel.archives-ouvertes.fr/docs/00/34/17/75/PDF/Cherief.Ferroudja_1992_these.pdf

Tags

sémantique du parallélisme

bisimulation

action invisible

logiques modales

logiques temporelles

système de transition

Additional Fields

Identifer	oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00341775
Date	08 October 1992
Creators	Cherief, Ferroudja
Source Sets	CCSD theses-EN-ligne, France
Language	French
Detected Language	French
Type	PhD thesis