%0 Book Section
%9 OS CH : Chapitres d'ouvrages scientifiques
%A Knapik, T.
%T Concurrency and real-time specification with many-sorted logic and abstract data dypes : an example
%B Actes du deuxième colloque africain sur la recherche en informatique = Proceedings of the second African Conference on research in computer science
%C Paris
%D 1994
%E Tankoano, J.
%L fdi:40892
%G ENG
%I ORSTOM
%@ 2-7099-1224-4
%K INFORMATIQUE SCIENTIFIQUE ; PROGRAMMATION
%K TEMPS REEL ; SPECIFICATION ; ALGEBRE
%P 401-418
%U https://www.documentation.ird.fr/hor/fdi:40892
%> https://horizon.documentation.ird.fr/exl-doc/pleins_textes/pleins_textes_6/colloques2/40892.pdf
%W Horizon (IRD)
%X 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)
%S Colloques et Séminaires
%B CARI 94
%8 1994/10/12-18
%$ 122LOGIC