Published 1987 | Version v1

Report Metadata-only

ECRINS un laboratoire de preuve pour les calculs de processus

Contributors

Others:

Concurrency, Synchronization and Real-time Programming (MEIJE) ; Centre Inria d'Université Côte d'Azur (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
INRIA

Disponible dans les fichiers attachés à ce document

Additional details

URL: https://inria.hal.science/inria-00075881
URN: urn:oai:HAL:inria-00075881v1

Origin repository: UNICA

0

Views

0

Downloads

Show more details

	All versions	This version
Views	0	0
Downloads	0	0
Data volume	0 Bytes	0 Bytes

More info on how stats are collected....

Technical metadata

Created: April 5, 2025
Modified: April 7, 2025