المؤلفون: Casali, Ana

المساهمون: University/Department: Universitat de Girona. Departament d'Electrònica, Informàtica i Automàtica

مرشدي الرسالة: anacasali@gmail.com, Godo i Lacasa, Lluís, Sierra García, Carles

المصدر: TDX (Tesis Doctorals en Xarxa)

مصطلحات موضوعية: Agent Oriented software engineering, Process calculus, Uncertainty, BDI agents, Multiagent systems, Artificial Intelligence

وصف الملف: application/pdf

الوصول الحر: http://www.tdx.cat/TDX-0119109-090930Test
http://hdl.handle.net/10803/7748Test

المؤلفون: Gabriel Ciobanu

المصدر: Mathematics; Volume 11; Issue 2; Pages: 302

مصطلحات موضوعية: process calculus, phase-type distribution, non-Markovian systems, model checker PRISM

وصف الملف: application/pdf

العلاقة: Probability and Statistics; https://dx.doi.org/10.3390/math11020302Test

الإتاحة: https://doi.org/10.3390/math11020302Test

المؤلفون: Dardha, Ornela, Giachino, Elena, Sangiorgi, Davide

المساهمون: University of Glasgow, Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO), Foundations of Component-based Ubiquitous Systems (FOCUS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

المصدر: PPDP 2022 / 24th International Symposium on Principles and Practice of Declarative Programming ; https://inria.hal.science/hal-03922188Test ; PPDP 2022 / 24th International Symposium on Principles and Practice of Declarative Programming, Sep 2022, Tbilisi, Georgia. pp.1-4, ⟨10.1145/3551357.3556676⟩

مصطلحات موضوعية: session types, linear types, process calculus, encoding, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Tbilisi, Georgia

العلاقة: hal-03922188; https://inria.hal.science/hal-03922188Test; https://inria.hal.science/hal-03922188/documentTest; https://inria.hal.science/hal-03922188/file/main.pdfTest

الإتاحة: https://doi.org/10.1145/3551357.3556676Test
https://inria.hal.science/hal-03922188Test
https://inria.hal.science/hal-03922188/documentTest
https://inria.hal.science/hal-03922188/file/main.pdfTest

المؤلفون: Siva Somayyajula

مصطلحات موضوعية: Computational Logic and Formal Languages, Programming Languages, process calculus, type refinements, type-based termination, dependent types, correctness, futures, proof theory

العلاقة: https://figshare.com/articles/thesis/Total_Correctness_Type_Refinements_for_Communicating_Processes/25901626Test

الإتاحة: https://doi.org/10.1184/r1/25901626.v1Test
https://figshare.com/articles/thesis/Total_Correctness_Type_Refinements_for_Communicating_Processes/25901626Test

المؤلفون: Abd Alrahman, Yehia, 1986, De Nicola, Rocco, Loreti, Michele

المصدر: Science of Computer Programming. 192(June)

مصطلحات موضوعية: Computer Science, Datavetenskap (datalogi), Attribute-based communication, Collective-adaptive systems, Computing methodologies, Operational semantics, Process calculus

وصف الملف: electronic

الوصول الحر: https://gup.ub.gu.se/publication/290837Test

المؤلفون: Lanotte, Ruggero, Merro, Massimo, Munteanu, Andrei

المساهمون: G. CORDASCO, L. GARGANO, A. A. RESCIGNO, Lanotte, Ruggero, Merro, Massimo, Munteanu, Andrei

مصطلحات موضوعية: PLC correctness, process calculus, Runtime enforcement

وصف الملف: ELETTRONICO

العلاقة: ispartofbook:21st Italian Conference on Theoretical Computer Science (ICTCS 2020); 21st Italian Conference on Theoretical Computer Science (ICTCS 2020); volume:2756; firstpage:81; lastpage:94; numberofpages:14; serie:CEUR WORKSHOP PROCEEDINGS; alleditors:G. CORDASCO, L. GARGANO, A. A. RESCIGNO; https://hdl.handle.net/11562/1020877Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85101434613

الإتاحة: https://hdl.handle.net/11562/1020877Test

المؤلفون: Lanotte, Ruggero, Merro, Massimo, Munteanu, Andrei

المساهمون: L. Jia, R. Kuster, Lanotte, Ruggero, Merro, Massimo, Munteanu, Andrei

مصطلحات موضوعية: Runtime enforcement, Control system security, PLC malware, process calculus

وصف الملف: STAMPA

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000621174200017; ispartofbook:IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM; IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM; firstpage:246; lastpage:261; numberofpages:16; serie:Proceedings of the 33rd IEEE Computer Security Foundations Symposium; alleditors:L. Jia; R. Kuster; http://hdl.handle.net/11562/1016105Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85090466774

الإتاحة: https://doi.org/10.1109/CSF49147.2020.00025Test
http://hdl.handle.net/11562/1016105Test

المؤلفون: Hirschkoff, Daniel, Prebet, Enguerrand, Sangiorgi, Davide

المساهمون: École normale supérieure de Lyon (ENS de Lyon), Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO), Foundations of Component-based Ubiquitous Systems (FOCUS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

المصدر: CONCUR 2020 - 31st International Conference on Concurrency Theory ; https://hal.science/hal-03053368Test ; CONCUR 2020 - 31st International Conference on Concurrency Theory, Dec 2020, Vienna / Virtual, Austria. ⟨10.4230/LIPIcs.CONCUR.2020.31⟩

مصطلحات موضوعية: phrases Process calculus, Bisimulation, Asynchrony, Imperative programming, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Vienna / Virtual, Austria

العلاقة: hal-03053368; https://hal.science/hal-03053368Test; https://hal.science/hal-03053368/documentTest; https://hal.science/hal-03053368/file/refapi.pdfTest

الإتاحة: https://doi.org/10.4230/LIPIcs.CONCUR.2020.31Test
https://hal.science/hal-03053368Test
https://hal.science/hal-03053368/documentTest
https://hal.science/hal-03053368/file/refapi.pdfTest

المؤلفون: Hirschkoff D., Prebet E., Sangiorgi D.

المساهمون: I. Konnov, L. Kov{'a}cs, Hirschkoff D., Prebet E., Sangiorgi D.

مصطلحات موضوعية: Asynchrony, Bisimulation, Imperative programming, Process calculus

وصف الملف: ELETTRONICO

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-95977-160-3; ispartofbook:31st International Conference on Concurrency Theory (CONCUR 2020); 31st International Conference on Concurrency Theory, CONCUR 2020; volume:171; firstpage:1; lastpage:20; numberofpages:20; serie:LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS; alleditors:I. Konnov, L. Kov{'a}cs; http://hdl.handle.net/11585/812399Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85091600821; https://drops.dagstuhl.de/opus/volltexte/2020/12846Test/

الإتاحة: https://doi.org/10.4230/LIPIcs.CONCUR.2020.34Test
http://hdl.handle.net/11585/812399Test
https://drops.dagstuhl.de/opus/volltexte/2020/12846Test/

المؤلفون: Bai, Xi

المساهمون: Robertson, Dave, Klein, Ewan, Vasconcelos, Wamberto

مصطلحات موضوعية: 006.3, process calculus, calculus-based coordination, semantic annotation, linked data, agent-oriented programming

الوصول الحر: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.586417Test