( en | de | ru )

 

Disambiguierung von "Valencia, Frank D."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Weak CCP bisimilarity with strong procedures.

, , , und . Sci. Comput. Program., (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Alvaro Valencia

Frank-D Böhmer

William Valencia

Meiser Valencia

Ray Valencia

 

Weitere Publikationen von Autoren mit dem selben Namen

Models and emerging trends of concurrent constraint programming., , und . Constraints An Int. J., 18 (4): 535-578 (2013)Universal concurrent constraint programing: symbolic semantics and applications to security., und . SAC, Seite 145-150. ACM, (2008)Temporal Concurrent Constraint Programming.. CP, Volume 2239 von Lecture Notes in Computer Science, Seite 786. Springer, (2001)Languages for Concurrency., und . Bulletin of the EATCS, (2006)A Temporal Concurrent Constraint Programming Calculus., und . CP, Volume 2239 von Lecture Notes in Computer Science, Seite 302-316. Springer, (2001)Partition refinement for bisimilarity in CCP., , , und . SAC, Seite 88-93. ACM, (2012)The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security., und . PPDP, Seite 8-19. ACM, (2008)On validity in modelization of musical problems by CCP., und . Soft Comput., 8 (9): 641-648 (2004)A Labelled Semantics for Soft Concurrent Constraint Programming., , , und . COORDINATION, Volume 9037 von Lecture Notes in Computer Science, Seite 133-149. Springer, (2015)Recursion vs Replication in Process Calculi: Expressiveness., und . Bulletin of the EATCS, (2005)