A Timed Concurrent Constraint Language

Author： de Boer F.S.   Gabbrielli M.   Meo M.C.  

Publisher： Academic Press

ISSN： 0890-5401

Source： Information and Computation, Vol.161, Iss.1, 2000-08, pp. : 45-83

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Linear Concurrent Constraint Programming: Operational and Phase Semantics

By Fages F.   Ruet P.   Soliman S.  

Information and Computation, Vol. 165, Iss. 1, 2001-02 ,pp. : 14-41

Academic Press

Access to resources Recommend Favorite

A Fully Abstract Semantics for Concurrent Constraint Programming

By Nyström S-O.   Jonsson B.  

Information and Computation, Vol. 146, Iss. 2, 1998-11 ,pp. : 138-180

Academic Press

Access to resources Recommend Favorite

Language equations for timed alternating finite automata

By Fellah A.   Harding C.  

International Journal of Computer Mathematics, Vol. 80, Iss. 9, 2003-09 ,pp. : 1075-1091

Taylor & Francis Ltd

Access to resources Recommend Favorite

Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing

By Hartonas C.   Hennessy M.  

Information and Computation, Vol. 145, Iss. 1, 1998-08 ,pp. : 64-106

Academic Press

Access to resources Recommend Favorite

Invariants of Timed Petri Nets

By Zaitsev D. A.  

Cybernetics and Systems Analysis, Vol. 40, Iss. 2, 2004-03 ,pp. : 226-237

Springer Publishing Company

Access to resources Recommend Favorite