YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname.    Price: USD 49.900,-    Phone: +49(176)74919078
     
     
www.yurtseven.org
 www.yurtseven.org
 

 
 Computers » Programming » Languages » Tempo


 Web Pages    1 - 2   of   2


Based on classical first-order logic; improves on usual concurrent logic languages (eg, Parlog) by explicitly specifying aspects of behavior of concurrent programs, namely: safety properties; gives advantages in writing concurrent programs and manipul...

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.7555

[more pages from this URL] 


Article Rafael Ramirez.

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.8091

[more pages from this URL] 



Easy Web Admin


Add URL  |  My Listings  |  My Account  |  New Membership  |  Contact