Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Godskesen, Jens Chr."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A CPS encoding of name-passing in higher-order mobile embedded resources
Mikkel Bundgaard
,
Thomas Hildebrandt
,
Jens Chr. Godskesen
Theoretical Computer Science
356
(3), 2006, pp. 422-439
Extending Howe's method to early bisimulations for typed mobile embedded resources with local names
Jens Chr. Godskesen
,
Thomas Hildebrandt
Lecture Notes in Computer Science
3821
, 2005, pp. 140-151
Synthesizing distinguishing formulae for real time systems
Jens Chr. Godskesen
,
Kim G. Larsen
Lecture Notes in Computer Science
969
, 1995, pp. 519-528