researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Nord. J. Comput.
Home
Index
Info
Issue
Volume
15
, Issue
2
75
--
111
Mohammad Reza Mousavi
,
Twan Basten
,
Michel A. Reniers
,
Michel Chaudron
.
Timed-Gamma and its Coordination Language
112
--
140
Christoph Knieke
,
Michaela Huhn
.
Semantic Foundation and Validation of Live Activity Diagrams
141
--
153
George B. Purdy
,
Justin W. Smith
.
On Finding Ordinary or Monochromatic Intersection Points
154
--
171
Natarajan Shankar
,
K. Subramani
,
Pavlos Eirinakis
.
Identifying Negative Cost Cycles in Strongly Polynomial Space