1
0
0
News
Netzwerk-Profile
LinkedIn: Christine Roeckl | LinkedIn
Christine Roeckls berufliches Profil anzeigen LinkedIn ist das weltweit größte professionelle Netzwerk, das Fach- und Führungskräften wie Christine Roeckl ...
BibSLEIGH — Christine_Roeckl
bibtex.github.io
calculus (2) theori (2) abstract (1) process (1) isabell (1) idealis (1) context (1) concurr (1) syntax (1) semant (1). Person: Christine Röckl. DBLP: R=ouml=ckl: ...
Bücher
CONCUR '98 Concurrency Theory: 9th International Conference, Nice,...
books.google.de
This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in September...
Theoretical Aspects of Computer Software: 4th International...
books.google.de
... Nestmann Shin-ya Nishizaki Doron Peled Frank Pfenning Lucia Pomello John Power Rosario Pugliese Shaz Qadeer Christine Roeckl Harald Rueß Takafumi ...
Foundations of Software Technology and Theoretical Computer Science:...
books.google.de
This book constitutes the refereed proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98, held...
Theoretical Computer Science: Exploring New Frontiers of Theoretical...
books.google.de
... Murai Uwe Nestmann Shin-ya Nishizaki Michael Norrish Christian Queinnec R. Ramanujam Peter J. Robinson Christine Roeckl Giuseppe Rosolini Takafumi ...
Artikel & Meinungen
Isabelle | Name binding blog
namebinding.wordpress.com
Posts about Isabelle written by Dominic Mulligan
Pi-calculus | Name binding blog
namebinding.wordpress.com
Posts about Pi-calculus written by Dominic Mulligan
Higher-order abstract syntax with induction in Isabelle/HOL:...
namebinding.wordpress.com
Formalizing the pi-calculus and theory of contexts using HOAS in Isabelle/HOL.
Theory of contexts | Name binding blog
namebinding.wordpress.com
Posts about Theory of contexts written by Dominic Mulligan
Sonstiges
Christine RoecklInria
www-sop.inria.fr
Christine Roeckl ; Organisation: INRIA ; Unité de Recherche: Sophia Antipolis ; Projet: SEMIR ; Téléphone: (+ ) XX XX ; Fax: (+ ) YY YY.
Daniel Hirschkoff - PublicationsÉcole normale supérieure de Lyon
perso.ens-lyon.fr
... Teller on resource bound certification in distributed and mobile systems; with Christine Roeckl on formalisations of the pi-calculus in theorem provers
Towards a Formalization of pi-calculus Processes in Higher ...Archive ouverte HAL
hal-lara.archives-ouvertes.fr
von C Roeckl · · Zitiert von: 1 — Towards a Formalization of pi-calculus Processes in Higher Order Abstract Syntax. Christine Roeckl (1) , Daniel Hirschkoff (1) , Stefan Berghofer (1).
mediaTUM - Medien- und Publikationsserver
mediatum.ub.tum.de
Christine Roeckl. Titel: How to Make Substitution Preserve Strong Bisimilarity. Abstract: We show that strong bisimilarity of $CCS$ processes without summation ...
CONCUR'99 Call for participation
www.seas.upenn.edu
... A. Henzinger, Benjamin Horowitz, Rupak Majumdar Proof-Checking Protocols Using Bisimulations Christine Roeckl, Javier Esparza Session
Laboratoire de l'informatique du parallélisme
www.ens-lyon.fr
By: Christine Roeckl, Daniel Hirschkoff, Stefan Berghofer; Number: RR ; Date: June 2000; Abstract: Higher order abstract syntax is a natural way to formalize programming languages with binders, like the pi-calculus, because alpha-conversion and beta-reduction are delegated to the meta level of the provers, ...
Brakujące: gujni
Abstract
homes.cs.aau.dk
Title: On Formal Frameworks for Languages with Binders; Speaker: Christine Roeckl, Germany; Date: Friday ; Place and time: E3-209, ; Abstract: ...
merlin Logical Frameworks and Meta Languages
lfmtp.org
Christine Roeckl (LAMP-DI-EPFL, Switzerland). A First-Order Syntax for the Pi-Calculus in Isabelle/HOL using Permutations. Carsten Schuermann, Dachuan Yu ...
Christine Röckl leitet weiter Fitness-Sparte des 1. FC RiedenOnetz
www.onetz.de
— Dem neuem Vorstand der Fitnessparte des 1. FC Rieden mit Christine Röckl (Zweite von rechts) an der Spitze gratuliert FC-Vorsitzender Hans ...
Verwandte Suchanfragen zu Christine Roeckl
Stefan Berghofer |
Person "Roeckl" (1) Vorname "Christine" (53663) Name "Roeckl" (58) |
sortiert nach Relevanz / Datum