sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000117912688 | 1 hits
Person
ISNI: 
0000 0001 1791 2688
Name: 
Sangiorgi, D.
Sangiorgi, Davide
Dates: 
1964-
Creation class: 
Computer file
Language material
Text
Creation role: 
author
editor
redactor
Related names: 
Elsevier (Amsterdam)
Hirschkoff, Daniel
International Symposium on Trustworthy Global Computing, TGC (07-04-2005 - 09-04-2005 : Edinburgh, UK)
Lanese, Ivan
Rutten, J. J. M. M.
Rutten, Johannes Josephus Martinus Matheus
Simone, Robert de (1957-....))
University of Edinburgh
Victor, Björn
Walker, David (1961-....))
Titles: 
Advanced topics in bisimulation and coinduction
Axiomatisations et types pour des processus probabilistes et mobiles
CONCUR '98 concurrency theory : 9th International Conference, Nice, France, September 8-11, 1998 : proceedings
concurrency theory,process calculi,reversibility,reversible computing,expressiveness of reversibility.
Expressing mobility in process algebras ; first-order and higher-order paradigms
Higher-order languages : dualities and bisimulation enhancements
Langages d'ordre supérieur : dualités et techniques de bisimulation.
[pi]-calculus, The : a theory of mobile processes
Réversibilité dans le pi calcul d'ordre supérieur
TCS 2014
Termination of concurrent systems.
Trustworthy global computing international symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers
Notes: 
Thesis (Ph.D)--University of Edinburgh, 1993
Sources: 
VIAF LC NKC NSK NUKAT SUDOC
BOWKER
NTA