Journal: Nord. J. Comput.

Volume 15, Issue 2

75 -- 111Mohammad Reza Mousavi, Twan Basten, Michel A. Reniers, Michel Chaudron. Timed-Gamma and its Coordination Language
112 -- 140Christoph Knieke, Michaela Huhn. Semantic Foundation and Validation of Live Activity Diagrams
141 -- 153George B. Purdy, Justin W. Smith. On Finding Ordinary or Monochromatic Intersection Points
154 -- 171Natarajan Shankar, K. Subramani, Pavlos Eirinakis. Identifying Negative Cost Cycles in Strongly Polynomial Space