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: Journal=Theor.~Comput.~Sci. AND Volume=356
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On the expressive power of KLAIM-based calculi
Rocco De Nicola
,
Daniele Gorla
,
Rosario Pugliese
Theoretical Computer Science
356
(3), 2006, pp. 387-421
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
Name-passing in an ambient-like calculus and its proof using spatial logic
Xudong Guan
Theoretical Computer Science
356
(3), 2006, pp. 440-467
Leader election in rings of ambient processes
Iain Phillips
,
Maria Grazia Vigliotti
Theoretical Computer Science
356
(3), 2006, pp. 468-494
Seiten
<
1
2