Výsledky vyhľadávania - "Soft Concurrent Constraint Programming, Bisimulation"

Observational and behavioural equivalences for soft concurrent constraint programming

Autori: Fabio Gadducci Luis Fernando Pino Francesco Santini a ďalší

Prispievatelia: Fabio Gadducci Luis Fernando Pino Francesco Santini a ďalší

Zdroj: Journal of Logical and Algebraic Methods in Programming. 92:45-63

Predmety: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-DC]Computer Science [cs]/Distributed, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Semantics of Programming Langages, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 0102 computer and information sciences, 16. Peace & justice, ACM: F.: Theory of Computation, Parallel, 01 natural sciences, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS, Soft Constraints, and Cluster Computing [cs.DC], Soft Concurrent Constraint Programming, Bisimulation, 13. Climate action, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Concurrent Constraint Programming, 0101 mathematics

Prístupová URL adresa: https://inria.hal.science/hal-01675060v1
https://doi.org/10.1016/j.jlamp.2017.06.001
https://www.sciencedirect.com/science/article/pii/S2352220817301165
https://core.ac.uk/display/87081999
https://hal.inria.fr/hal-01675060
https://research.unipg.it/handle/11391/1417231
https://dblp.uni-trier.de/db/journals/jlp/jlp92.html#GadducciSPV17
https://hdl.handle.net/11568/872080
https://doi.org/10.1016/j.jlamp.2017.06.001
http://www.sciencedirect.com/science/journal/23522208
https://doi.org/10.1016/j.jlamp.2017.06.001
https://hdl.handle.net/11391/1417231