Suchergebnisse - "Process Calculi for Concurrent Constraint Programming"

  • Treffer 1 - 6 von 6
Treffer weiter einschränken
  1. 1

    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

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

    Deriving Inverse Operators for Modal Logic.

    Autoren: Guzmán, Michell Perchy, Salim Rueda, Camilo et al.

    Quelle: Theoretical Aspects of Computing - ICTAC 2016; 2016, p214-232, 19p

    Zu den Favoriten
  3. 3

    Opinions, Lies and Knowledge. An Algebraic Approach to Mobility of Information and Processes

    Opinions, Mensonges et Connaissance. Une Approche Algébrique à la Mobilité de l'Information et des Processus.

    Autoren: Perchy, Yamil Salim

    Thesis Advisors: Université Paris-Saclay (ComUE), Haar, Stefan

    Schlagwörter: Systèmes de Contraintes, Mobilité, Logique Épistémique, Mensonges, Théorie de la Concurrence, Constraint Systems, Mobility, Epistemic Logic, Lies, Concurrency Theory

    Verfügbarkeit: http://www.theses.fr/2016SACLX059/document

    View record from Networked Digital Library of Theses & Dissertations Nájsť tento článok vo Web of Science
    Zu den Favoriten
  4. 4

    Opinions, Lies and Knowledge. An Algebraic Approach to Mobility of Information and Processes ; Opinions, Mensonges et Connaissance. Une Approche Algébrique à la Mobilité de l’Information et des Processus.

    Autoren: Perchy, Yamil Salim Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) École polytechnique (X) et al.

    Weitere Verfasser: Perchy, Yamil Salim Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) École polytechnique (X) et al.

    Quelle: https://inria.hal.science/tel-01413970 ; Logic in Computer Science [cs.LO]. Université Paris Saclay (COmUE), 2016. English. ⟨NNT : 2016SACLX059⟩.

    Schlagwörter: Constraint Systems, Mobility, Epistemic Logic, Lies, Concurrency Theory, Logique Épistémique, Mensonges, Théorie de la Concurrence, Mobilité, Systèmes de Contraintes, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-SI]Computer Science [cs]/Social and Information Networks [cs.SI]

    Relation: NNT: 2016SACLX059

    Verfügbarkeit: https://inria.hal.science/tel-01413970
    https://inria.hal.science/tel-01413970v2/document
    https://inria.hal.science/tel-01413970v2/file/57473_PERCHY_2016_archivage.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  5. 5

    Theoretical Aspects of Computing – ICTAC 2016 : 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings

    Autoren: Augusto Sampaio Farn Wang

    Resource Type: eBook.

    Schlagworte: Computer science, Compilers (Computer programs), Computer science—Mathematics, Discrete mathematics, Software engineering, Machine theory

    Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Discrete Mathematics

    Zu den Favoriten
  6. 6

    Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

    Autoren: Christiano Braga Peter Csaba Ölveczky

    Resource Type: eBook.

    Schlagworte: Software engineering, Machine theory, Computer science, Compilers (Computer programs), Computer programming, Electronic data processing—Management

    Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Management Information Systems, COMPUTERS / Programming / General

    Zu den Favoriten

Suchwerkzeuge: