Is this you? Create Your Porfile
Avatar

nan Reniers

Network

Latest external collaboration on country level. Dive into details by clicking on the dots.

Explore More

Hotspot

Dive into the research topics where nan Reniers is active.

Explore More

Publication

Featured researches published by nan Reniers.

Process Algebra for Parallel and Distributed Processing | 2008

Analysis of distributed systems with mCRL2

Jan Friso Groote; A.H.J. Mathijssen; Reniers; Yaroslav S. Usenko; M.J. van Weerdenburg; M. Alexander; W. Gardner

Computing science reports | 2004

Congruence for SOS with data

Mohammad Reza Mousavi; Reniers; Jan Friso Groote

Lecture Notes in Computer Science | 2010

A rule format for unit elements

Luca Aceto; Anna Ingólfsdóttir; Mohammad Reza Mousavi; Reniers; J. van Leeuwen; Anca Muscholl; David Peleg; Jaroslav Pokorny; Bernhard Rumpe

Lecture Notes in Computer Science | 2006

The meaning of ordered SOS

Mohammad Reza Mousavi; Iain Phillips; Reniers; Irek Ulidowski; S. Arun-Kumar; N. Garg

Computer science reports | 2004

Process algebra needs proof methodology

Wan Fokkink; Jan Friso Groote; Reniers

Computer science reports | 2010

On rule formats for zero and unit elements

Luca Aceto; Matteo Cimini; Anna Ingólfsdóttir; Mohammad Reza Mousavi; Reniers

Computer science reports | 2010

Rule formats for distributivity

Luca Aceto; Matteo Cimini; Anna Ingólfsdóttir; Mohammad Reza Mousavi; Reniers

Computer science reports | 2005

Orthogonal extensions in structural operational semantics

Mohammad Reza Mousavi; Reniers

Computer science reports | 2006

Action abstraction in timed process algebra : the case for an untimed silent step

Reniers; M.J. van Weerdenburg

Computer science reports | 2005

Timing the untimed : terminating successfully while being conservative

J.C.M. Baeten; Mohammad Reza Mousavi; Reniers

Explore More

Collaboration

Dive into the nan Reniers's collaboration.

Top Co-Authors
Avatar

Mohammad Reza Mousavi

Halmstad University

View shared research outputs
Top Co-Authors
Avatar

Jan Friso Groote

Eindhoven University of Technology

View shared research outputs
Top Co-Authors
Avatar

Anna Ingólfsdóttir

VU University Amsterdam

View shared research outputs
Top Co-Authors
Avatar

Luca Aceto

Reykjavík University

View shared research outputs
Top Co-Authors
Avatar

Matteo Cimini

Reykjavík University

View shared research outputs
Top Co-Authors
Avatar

Iain Phillips

Imperial College London

View shared research outputs
Top Co-Authors
Avatar

Irek Ulidowski

University of Leicester

View shared research outputs
Top Co-Authors
Avatar

Farhad Arbab

Centrum Wiskunde

View shared research outputs
Top Co-Authors
Avatar

Frank P. M. Stappers

Eindhoven University of Technology

View shared research outputs
Top Co-Authors
Avatar

J. van Leeuwen

Utrecht University

View shared research outputs
Explore More
Researchain Logo
Decentralizing Knowledge