Knapik T. (1994). Concurrency and real-time specification with many-sorted logic and abstract data dypes : an example. In :
Tankoano J. (ed.). Actes du deuxième colloque africain sur la recherche en informatique = Proceedings of the second African Conference on research in computer science. Paris : ORSTOM, p. 401-418. (Colloques et Séminaires). CARI 94, 2., Ouagadougou (BKF), 1994/10/12-18. ISBN 2-7099-1224-4. ISSN 0767-2896.
Titre du document
Concurrency and real-time specification with many-sorted logic and abstract data dypes : an example
Année de publication
1994
Type de document
Partie d'ouvrage
Auteurs
Knapik T.
In
Tankoano J. (ed.) Actes du deuxième colloque africain sur la recherche en informatique = Proceedings of the second African Conference on research in computer science
Source
Paris : ORSTOM, 1994,
p. 401-418 (Colloques et Séminaires). ISBN 2-7099-1224-4 ISSN 0767-2896
Colloque
CARI 94, 2., Ouagadougou (BKF), 1994/10/12-18
We discuss the use of algebraic specifications for the description of the requirements of concurrent and real time systems. The underlying logic is the usual Many-Sorted First Order Predicate Calculus with Equality without any concurrent features. In order to express dynamic and real time properties, we specify a data type, the role of which is to model time. This discussion is motivated by our specification of the "Transit Node" system. (Résumé d'auteur)
