Browse wiki
From CERES
Jump to:
navigation
,
search
Michel A. Reniers
This page has no properties.
hide properties that link here
Publications:A rule format for associativity
+
,
Publications:A rule format for unit elements
+
,
Publications:Nominal SOS
+
,
Publications:Orthogonal extensions in structural operational semantics
+
,
Publications:PARS : a process algebraic approach to resources and schedulers
+
,
Publications:Robustness of behavioral equivalence on open terms
+
,
Publications:Rule Formats for Determinism and Idempotence
+
,
Publications:Rule Formats for Distributivity
+
,
Publications:SOS Rule Formats for Zero and Unit Elements
+
,
Publications:Semantics and expressiveness of ordered SOS
+
Author
Enter the name of the page to start browsing from.
Navigation menu
Views
Special page
Personal tools
Log in
Home
Research
Research Areas
Application Areas
Research Projects
Publications
Education
Courses
Subject areas
Student Projects
Partners
Industrial
Academic
People
Personnel
Alumni
Contact
Contact CERES
Links
CAISR
Halmstad University
School of IDE
Search
Tools
Special pages
Printable version