Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics

Documenti analoghi

• Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics
  di: Di Giusto, Cinzia, et al.
  Pubblicazione: (2025)
• On the Impact of the Communication Model on Realisability
  di: Di Giusto, Cinzia, et al.
  Pubblicazione: (2025)
• Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models
  di: Endrullis, Jörg, et al.
  Pubblicazione: (2025)
• Proceedings 16th International Workshop on Graph Computation Models
  di: Lambers, Leen, et al.
  Pubblicazione: (2026)
• Higher-Dimensional Timed Automata for Real-Time Concurrency
  di: Amrane, Amazigh, et al.
  Pubblicazione: (2024)