K.S. Larsen (larsen-ks)

Beiträge zu Philosophie.ch

Bibliography

Nielsen, M., Engberg, U. and Larsen, K. S. 1989. “Fully Abstract Models for a Process Language with Refinement.” in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, edited by J. W. de Bakker, W. P. de Roever, and Grzegorz Rozenberg, pp. 523–548. Lecture Notes in Computer Science n. 354. Berlin: Springer.