Vous êtes ici : Accueil › Recherche › Fiche ressource

Syntax and defining equations for an interrupt mechanism in process algebra

› APERÇU DE LA RESSOURCE
Identifiant URN:NBN:NL:UI:25-335911
Collection Data Archiving and Networked Services
Source National Academic Research and Collaborations Information System
Organisation Data Archiving and Networked Services
Périmètre Publications
Langue Anglais
Type Rapports
Ressource complémentaire https://pure.tue.nl/ws/files/2137499/335911.pdf
Condition de diffusion/ré-utilisation Copyright (c) Baeten, JCM Jos
Copyright (c) Bergstra, JA Jan
Copyright (c) Klop, JW Jan Willem
info:eu-repo/semantics/openAccess
Faire un lien direct vers la ressource hdl:10670/1.qckv16
› POUR ALLER PLUS LOIN...
› ENRICHISSEMENTS?
Rameau | Gemet | Pactols | GeoEthno
BNE | Gemet | Pactols | GeoEthno
› PARTAGER