UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

KBR (1)

UCLouvain (1)

Resource type

book (1)

Language

English (1)

Year

From To

1990 (1)

Listing 1 - 1 of 1
Sort by

Semantics for concurrency : proceedings of the International BCS-FACS Workshop, 23-25 July 1990, Leicester
Authors: Kwiatkowska, Marta Zofia --- Shields, Michael William --- Thomas, Richard Moro --- FACS --- British Computer Society
ISBN: 0387196250 3540196250 1447138600 9783540196259 9780387196251 Year: 1990 Volume: vol *4 Publisher: London New York Springer-Verlag

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Parallel programming (Computer science) --- Programming languages (Electronic computers) --- Programmation parallèle (Informatique) --- Langages de programmation --- Congresses --- Semantics --- Congrès --- Sémantique --- Parallel programming (Computer science) - Congresses. --- Programming languages (Electronic computers) - Semantics - Congresses. --- Theoretical Computer Sci --- Ccs --- Temporal Logic --- Process --- Concurrency

Listing 1 - 1 of 1
Sort by