Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System

König, Barbara:

In: Journal of Logic and Algebraic Programming, Jg. 63 (2005), Heft 1, S. 35 - 58

2005Artikel/Aufsatz in ZeitschriftOA Embargo

InformatikFakultät für Ingenieurwissenschaften » Informatik und Angewandte Kognitionswissenschaft

Titel in Englisch:

Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System

Autor*in:

König, Barbara^UDE

Erscheinungsjahr:

2005

Open Access?:

OA Embargo

DOI

Scopus ID

Sprache des Textes:

Englisch

Erschienen in

Journal of Logic and Algebraic Programming

Verlag:

Elsevier

in:

Jg. 63 (2005), Heft 1, S. 35 - 58

ISSN

ISSN

Signatur der UB:

Universitätsbibliographie