„concurrent logic programming“

Suchergebnisse

1.000+ Treffer

• Nonsequential and Distributed Programming with Go – Synchronization of Concurrent Processes
  Maurer, Christian 2025 Springer
• Beyond Synthesis: Mastering VHDL for Efficient System Design
  Nami 2024 tredition
• Programming Languages and Systems – 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
  Felleisen, Matthias ; Gardner, Philippa 2013 Springer Berlin Heidelberg
• Functional and Constraint Logic Programming – 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
  Mariño, Julio 2011 Springer Berlin Heidelberg
• Compartmentalized Connection Graphs for Concurrent Logic Programming II – Parallelism, Indexing and Unification
  Powers, David M. W. 2023 Saarländische Universitäts- und Landesbibliothek
• Compartmentalized Connection Graphs for Concurrent Logic Programming I – Compartmentalization, Transformation and Examples
  Powers, David M. W. 2023 Saarländische Universitäts- und Landesbibliothek
• Nonsequential and Distributed Programming with Go – Synchronization of Concurrent Processes: Communication - Cooperation - Competition
  Maurer, Christian 2021 Springer Fachmedien Wiesbaden
• Functional and Logic Programming – 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
  2014 Springer International Publishing
• Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems – 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
  Bernardo, Marco ; De Nicola, Rocco ; Hillston, Jane 2016 Springer International Publishing
• Logic/Object-Oriented Concurrent Robot Programming and Performance Aspects
  Pollmann, Alfried 2020 De Gruyter
• Reachability for Branching Concurrent Stochastic Games (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Etessami, Kousha ; Martinov, Emanuel ; Stewart, Alistair ; Yannakakis, Mihalis 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Concurrent Operational Semantics for Constraint Functional Logic Programming
  del Vado Vírseda, Rafael ; Pérez Morente, Fernando ; García Toledo, Marcos Miguel 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Coalgebraic Derivations in Logic Programming
  Komendantskaya, Ekaterina ; Power, John 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints
  Martinez, Thierry 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Program Analysis to Support Concurrent Programming in Declarative Languages
  Demeyer, Romain 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Expressiveness of Spatial Constraint Systems
  Guzmán, Michell ; Valencia, Frank D. 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191)
  Birkedal, Lars ; Dreyer, Derek ; Gardner, Philippa ; Shao, Zhong
• Some comments on “concurrent readers and writers”
  Conradi, Reidar
• Refinement of actions for real-time concurrent systems with causal ambiguity
  Majster-Cederbaum, Mila ; Wu, Jinzhao ; Yue, Houguang
• Concurrent bisimulations in Petri nets
  Best, Eike ; Devillers, Raymond ; Kiehn, Astrid ; Pomello, Lucia