@incollection{fdi:40892,
  title = {{C}oncurrency and real-time specification with many-sorted logic and abstract data dypes : an example},
  author = {{K}napik, {T}.},
  editor = {},
  language = {{ENG}},
  abstract = {{W}e discuss the use of algebraic specifications for the description of the requirements of concurrent and real time systems. {T}he underlying logic is the usual {M}any-{S}orted {F}irst {O}rder {P}redicate {C}alculus with {E}quality without any concurrent features. {I}n order to express dynamic and real time properties, we specify a data type, the role of which is to model time. {T}his discussion is motivated by our specification of the "{T}ransit {N}ode" system. ({R}{\'e}sum{\'e} d'auteur)},
  keywords = {{INFORMATIQUE} {SCIENTIFIQUE} ; {PROGRAMMATION} ; {TEMPS} {REEL} ; {SPECIFICATION} ; {ALGEBRE}},
  booktitle = {{A}ctes du deuxi{\`e}me colloque africain sur la recherche en informatique = {P}roceedings of the second {A}frican {C}onference on research in computer science},
  numero = {},
  pages = {401--418},
  address = {{P}aris},
  publisher = {{ORSTOM}},
  series = {{C}olloques et {S}{\'e}minaires},
  year = {1994},
  ISBN = {2-7099-1224-4},
  ISSN = {0767-2896},
  URL = {https://www.documentation.ird.fr/hor/fdi:40892},
}