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

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