CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Publications  \  InProceedings Page Login  
   
banner bottom
File Top
Extended Horn Clauses: The Framework and its Semantics

@ Proceedings of the Second International Conference on Concurrency Theory (Concur'91)


Editors: J. C. M. Baeten and J. F. Groote

Series: Lecture Notes in Computer Science

Number: 527

Publisher: Springer-Verlag ( Germany )

Pages: 281 to 297


Date: 1991


Authors:

File Bottom