„process calculi“

Suchergebnisse

1.000+ Treffer

• Congruence proofs for weak bisimulation equivalences on higher order process calculi
  Baldamus, Michael ; Frauenstein, Thomas 1995 Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
• Translational Expressiveness. Comparing Process Calculi using Encodings
  Peters, Kirstin ; Nestmann, Uwe 2012 Universitätsbibliothek der Technischen Universität Berlin
• Intensional equality for process calculi based on ε-structures [epsilon-structures]
  Pooyan-Weihs, Ladan
• Programming Languages and Systems – 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
  Shao, Zhong 2014 Springer Berlin Heidelberg
• Trustworthy Global Computing – 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers
  Abadi, Martín ; Lluch Lafuente, Alberto 2014 Springer International Publishing
• Trustworthy Global Computing – 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers
  Palamidessi, Catuscia ; Ryan, Mark D. 2013 Springer Berlin Heidelberg
• First-Order Store and Visibility in Name-Passing Calculi
  Hirschkoff, Daniel ; Quémerais, Iwan ; Sangiorgi, Davide 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Contrasting Deadlock-Free Session Processes
  Jaramillo, Juan C. ; Pérez, Jorge A. 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Rule Formats for Nominal Process Calculi
  Aceto, Luca ; Fábregas, Ignacio ; García-Pérez, Álvaro ; Anna Ingólfsdóttir ; Ortega-Mallén, Yolanda 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Private Names in Non-Commutative Logic
  Horne, Ross ; Tiu, Alwen ; Aman, Bogdan ; Ciobanu, Gabriel 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Observing Success in the Pi-Calculus
  Sabel, David ; Schmidt-Schauß, Manfred 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verifying Quantum Based Systems : What do we have to change?
  Schmitt, Anna ; Hähnle, Reiner ; Peters, Kirstin ; Mousavi, Mohammad Reza 2025 Universitäts- und Landesbibliothek
• Around Classical and Intuitionistic Linear Processes
  Jaramillo, Juan C. ; Frumin, Dan ; Pérez, Jorge A. 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Effect Semantics for Quantum Process Calculi
  Ceragioli, Lorenzo ; Gadducci, Fabio ; Lomurno, Giuseppe ; Tedeschi, Gabriele 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Böhm and Taylor for All!
  Dufour, Aloÿs ; Mazza, Damiano 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• 10051 Abstracts Collection – Quantitative and Qualitative Analysis of Network Protocols
  Jonsson, Bengt ; Kreiker, Jörg ; Kwiatkowska, Marta
• Minimal Session Types (Artifact)
  Arslanagić, Alen ; Pérez, Jorge A. ; Voogd, Erik
• Probabilistic Operational Correspondence
  Schmitt, Anna ; Peters, Kirstin 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact)
  Scalas, Alceste ; Dardha, Ornela ; Hu, Raymond ; Yoshida, Nobuko
• Non-Deterministic Abstract Machines
  Biernacka, Małgorzata ; Biernacki, Dariusz ; Lenglet, Sergueï ; Schmitt, Alan 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik