Springer
Lecture Notes in Computer Science
International Conference on Application of Concurrency to System Design
Specification and Analysis of Embedded Systems

Grabmayer, C. A., Klop, J. W., & Luttik, B. (2006). Some Remarks on Definability of Process Graphs. In LNCS (pp. 16–36). Springer.