( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice.

, , и . ICTAC, том 8687 из Lecture Notes in Computer Science, стр. 351-368. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Luis Fernando Spitta

Luis Fernando Schuartz

Luis Fernando Congote

Fernando Luís Dotti

Luis Fernando Arenas Silva

 

Другие публикации лиц с тем же именем

Reducing Weak to Strong Bisimilarity in CCP, , , и . ICE, том 104 из EPTCS, стр. 2-16. (2012)Partition refinement for bisimilarity in CCP., , , и . SAC, стр. 88-93. ACM, (2012)Observational and behavioural equivalences for soft concurrent constraint programming., , , и . J. Log. Algebraic Methods Program., (2017)Deriving Labels and Bisimilarity for Concurrent Constraint Programming., , , , и . FoSSaCS, том 6604 из Lecture Notes in Computer Science, стр. 138-152. Springer, (2011)A Labelled Semantics for Soft Concurrent Constraint Programming., , , и . COORDINATION, том 9037 из Lecture Notes in Computer Science, стр. 133-149. Springer, (2015)Weak CCP bisimilarity with strong procedures., , , и . Sci. Comput. Program., (2015)Efficient algorithms for program equivalence for confluent concurrent constraint programming., , и . Sci. Comput. Program., (2015)A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice., , и . ICTAC, том 8687 из Lecture Notes in Computer Science, стр. 351-368. Springer, (2014)Efficient computation of program equivalence for confluent concurrent constraint programming., , и . PPDP, стр. 263-274. ACM, (2013)Efficient Verification and New Reasoning Techniques for Concurrent Constraint Programming. (Vérification Efficace Et Nouvelles Techniques De Raisonnement Pour La Programmation Concurrente Par Contraintes).. École Polytechnique, Palaiseau, France, (2014)