Výsledky vyhledávání - "Process Calculi for Concurrent Constraint Programming"

Belief, knowledge, lies and other utterances in an algebra for space and extrusion Autor Guzman, Michell, Haar, Stefan, Perchy, Salim, Rueda, Camilo, Valencia, Frank D.

“…The notion of constraint system (cs) is central to declarative formalisms from concurrency theory such as process calculi for concurrent constraint programming (ccp…”
Získat plný text