( en | de | ru )

 

Disambiguation of "Rutten, Jan J. M. M."

Author of the publication

copydeleteadd this publication to your clipboard
On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders.

, and . REX Workshop, volume 666 of Lecture Notes in Computer Science, page 477-530. Springer, (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Marinus M Rutten

J J M Ramakers

J M Zöllner

Jan M Gerken

Jan M Herrmann

 

Other publications of authors with the same name

A Coalgebraic Foundation for Coinductive Union Types., , , , and . ICALP (2), volume 8573 of Lecture Notes in Computer Science, page 62-73. Springer, (2014)Regular Varieties of Automata and Coequations., , , , and . MPC, volume 9129 of Lecture Notes in Computer Science, page 224-237. Springer, (2015)Regular Expressions Revisited: A Coinductive Approach to Streams, Automata, and Power Series.. MPC, volume 1837 of Lecture Notes in Computer Science, page 100-101. Springer, (2000)A coinductive calculus of streams.. Math. Struct. Comput. Sci., 15 (1): 93-147 (2005)A transition system semantics for the control-driven coordination language MANIFOLD., , , , , and . Theor. Comput. Sci., 240 (1): 3-47 (2000)Intentional Automata: A Context-Dependent Model for Component Connectors - (Extended Abstract)., , and . FSEN, volume 7141 of Lecture Notes in Computer Science, page 335-342. Springer, (2011)A Layered Semantics for a Parallel Object-Oriented Language., and . REX Workshop, volume 489 of Lecture Notes in Computer Science, page 91-123. Springer, (1990)Deriving Denotational Models for Bisimulation from Structured Operational Semantics.. Programming Concepts and Methods, page 155-178. North-Holland, (1990)Non-monotonic Concurrent Constraint Programming., , , and . ILPS, page 315-334. MIT Press, (1993)Preface., , , and . CMCS@ETAPS, volume 264 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2010)