No. Title Author Year
1 Semantics of Concurrent Systems - Foundations and Applications (Dagstuhl Seminar 9619) Droste, Manfred et al. 2021
2 Causal Unfoldings de Visme, Marc et al. 2019
3 The True Concurrency of Herbrand's Theorem Alcolei, Aurore et al. 2018
4 Distributed Strategies Made Easy Castellan, Simon et al. 2017
5 Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or Castellan, Simon et al. 2017
6 Strategies with Parallel Causes de Visme, Marc et al. 2017
7 Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models Danos, Vincent et al. 2012
8 The unfolding of general Petri nets Hayman, Jonathan et al. 2008
Current Page :
Number of result pages: 1
Number of documents: 8

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI