A Secure Non-monotonic Soft Concurrent Constraint Language
From MaRDI portal
Publication:5259265
DOI10.3233/FI-2014-1102zbMath1315.68037OpenAlexW1185784861MaRDI QIDQ5259265
Stefano Bistarelli, Francesco Santini
Publication date: 26 June 2015
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/fi-2014-1102
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Belief, knowledge, lies and other utterances in an algebra for space and extrusion ⋮ Observational and behavioural equivalences for soft concurrent constraint programming ⋮ Semiring-Based Soft Constraints