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

Soft Concurrent Constraint Programming with Local Variables

Autori: Bussi L. Gadducci F. Santini F.

Zdroj: Lecture Notes in Computer Science ISBN: 9783031081453

Predmety: bisimulation equivalences, residuated monoids, Soft concurrent constraint programming, local variables, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Prístupová URL adresa: https://hdl.handle.net/11568/1199468
https://doi.org/10.1007/978-3-031-08143-9_10
https://hdl.handle.net/11391/1530876
https://doi.org/10.1007/978-3-031-08143-9_10

A Secure Non-monotonic Soft Concurrent Constraint Language.

Autori: Bistarelli, Stefano Santini, Francesco

Zdroj: Fundamenta Informaticae. 2014, Vol. 134 Issue 3-4, p261-285. 25p.

Predmety: *MONOTONIC functions, *CONSTRAINT satisfaction, *PROGRAMMING languages, *MATHEMATICAL models, *INFORMATION theory

Open Bisimulation for the Concurrent Constraint Pi-Calculus.

Autori: Buscemi, Maria Grazia Montanari, Ugo

Zdroj: Programming Languages & Systems (9783540787389); 2008, p254-268, 15p

A Secure Non-monotonic Soft Concurrent Constraint Language

Autori: Bistarelli, S. Santini, F.

Zdroj: Fundamenta Informaticae.

Predmety: monotonic functions, constraint satisfaction, programming languages, mathematical models, information theory

Prístupová URL adresa: http://yadda.icm.edu.pl/baztech/element/bwmeta1.element.baztech-d7c20808-6b00-49e6-8e2d-c402e64297e3

Models and emerging trends of concurrent constraint programming.

Autori: Olarte, Carlos Rueda, Camilo Valencia, Frank

Zdroj: Constraints: An International Journal; Oct2013, Vol. 18 Issue 4, p535-578, 44p

Safety of Uncertain Session Types with Interval Probability.

Autori: Aman, Bogdan Ciobanu, Gabriel

Zdroj: Symmetry (20738994); Feb2025, Vol. 17 Issue 2, p218, 31p

Predmety: BISIMULATION, CALCULUS, PROBABILITY theory, SAFETY

Verification of quantitative temporal properties in RealTime-DEVS.

Autori: González, Ariel Cristiá, Maximiliano Luna, Carlos

Zdroj: Simulation; Oct2025, Vol. 101 Issue 10, p1057-1076, 20p

Predmety: MODEL validation, MUTATIONS (Algebra), FAULT diagnosis, SIMULATION methods & models

A FIBRATIONAL TALE OF OPERATIONAL LOGICAL RELATIONS: PURE, EFFECTFUL AND DIFFERENTIAL.

Autori: DAGNINO, FRANCESCO GAVAZZO, FRANCESCO

Zdroj: Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 2, p1-34, 34p

Predmety: LOGIC, PROGRAMMING language semantics

BackMatter.

Autori: Mauro, Jacopo

Zdroj: Constraints Meet Concurrency; 2014, p131-148, 18p

FORMAL ARGUMENTATION AND MODAL LOGIC.

Autori: IVÁN CHESÑEVAR, CARLOS DIX, JÜRGEN BEISHUI LIAO a ďalší

Zdroj: Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP); Mar2025, Vol. 12 Issue 3, p825-892, 68p

Predmety: EPISTEMIC logic, RESEARCH personnel, CHECKS, COALITIONS, LOGIC, MODAL logic

revTPL: THE REVERSIBLE TEMPORAL PROCESS LANGUAGE.

Autori: BOCCHI, LAURA LANESE, IVAN MEZZINA, CLAUDIO ANTARES a ďalší

Zdroj: Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 1, p1-35, 35p, 1 Chart

Railway Cloud: Management and Orchestration Functionality Designed as Microservices.

Autori: Atanasov, Ivaylo Pencheva, Evelina Trifonov, Ventsislav a ďalší

Zdroj: Applied Sciences (2076-3417); Mar2024, Vol. 14 Issue 6, p2368, 22p

Predmety: RAILROAD design & construction, RAILROAD safety measures, DATA security, RAILROADS, RAILROAD management

A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets.

Autori: Arias, Jaime Bae, Kyungmin Olarte, Carlos a ďalší

Zdroj: Fundamenta Informaticae; 2024, Vol. 192 Issue 3/4, p261-312, 52p

Predmety: PETRI nets, MATHEMATICAL logic, SEMANTICS (Philosophy), STATISTICAL models, LOGIC

Offline supervisory control synthesis: taxonomy and recent developments.

Autori: Fokkink, Wan Goorden, Martijn

Zdroj: Discrete Event Dynamic Systems; Dec2024, Vol. 34 Issue 4, p605-657, 53p

Constraints Meet Concurrency

Autori: Jacopo Mauro

Typ zdroja: eBook.

Predmet: Constraints (Artificial intelligence), Constraint programming (Computer science)

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science

Verification of transaction-aware web services composition through formal methods.

Autori: Jalal, Sunita Negi, Chetan Singh Yadav, Dharmendra Kumar

Zdroj: International Journal of Systems Assurance Engineering & Management; Jun2024, Vol. 15 Issue 6, p2312-2327, 16p

A framework for monitored dynamic slicing of reaction systems.

Autori: Brodo, Linda Bruni, Roberto Falaschi, Moreno

Zdroj: Natural Computing; Jun2024, Vol. 23 Issue 2, p217-234, 18p

Predmety: DEBUGGING, SEMANTICS, ALGORITHMS

Typed-Untyped Interactions: A Comparative Analysis.

Autori: GREENMAN, BEN DIMOULAS, CHRISTOS FELLEISEN, MATTHIAS

Zdroj: ACM Transactions on Programming Languages & Systems; Mar2023, Vol. 45 Issue 1, p1-54, 54p

Predmety: COMPARATIVE studies, SEMANTICS

Multi-scale verification of distributed synchronisation.

Autori: Gainer, Paul Linker, Sven Dixon, Clare a ďalší

Zdroj: Formal Methods in System Design; 2020, Vol. 55 Issue 3, p171-221, 51p

Predmety: ALGORITHMS, BEHAVIOR, BISIMULATION