You are here: TUCS > PUBLICATIONS > Publication Search > Safe Language Mechanisms for M...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Safe Language Mechanisms for Modularization and Concurrency
Martin Büchi, Safe Language Mechanisms for Modularization and Concurrency. TUCS Dissertations 28. Turku Centre for Computer Science, 2000.
Abstract:
http://www.tucs.fi/Publications/phdthesis/phdBuchia.php
Files:
Full publication in PDF-format
BibTeX entry:
@PHDTHESIS{phdBuchia,
title = {Safe Language Mechanisms for Modularization and Concurrency},
author = {Büchi, Martin},
number = {28},
series = {TUCS Dissertations},
school = {Turku Centre for Computer Science},
year = {2000},
keywords = {Component software, modularization, concurrency, formal methods, type systems},
ISBN = {951-29-1727-0},
}