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.
Retrieved from "https://wiki.hh.se/ceres/index.php/Special:Browse/Michel-20A.-20Reniers"

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

 

Tools

  • Special pages
  • Printable version
Powered by MediaWiki Powered by Semantic MediaWiki
  • Privacy policy
  • About CERES
  • Disclaimers