Suchergebnisse - "Process Calculi for Concurrent Constraint Programming"

Belief, knowledge, lies and other utterances in an algebra for space and extrusion

Autoren: Frank D. Valencia Stefan Haar Michell Guzmán et al.

Weitere Verfasser: Frank D. Valencia Stefan Haar Michell Guzmán et al.

Quelle: Journal of Logical and Algebraic Methods in Programming. 86:107-133

Schlagwörter: Mobility, Concurrency theory, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Beliefs, Extrusion, [INFO.INFO-SI] Computer Science [cs]/Social and Information Networks [cs.SI], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Space, 0102 computer and information sciences, 16. Peace & justice, 01 natural sciences, [INFO.INFO-SI]Computer Science [cs]/Social and Information Networks [cs.SI], [MATH.MATH-GN] Mathematics [math]/General Topology [math.GN], Epistemic Logic, [MATH.MATH-GN]Mathematics [math]/General Topology [math.GN], Process Calculi for Concurrent Constraint Programming, 0101 mathematics

Dateibeschreibung: application/pdf

Zugangs-URL: https://inria.hal.science/hal-01257113v4
https://inria.hal.science/hal-01257113v4/document
https://doi.org/10.1016/j.jlamp.2016.09.001