Union Catalogue of Belgian Libraries
Search
Feedback
About UniCat 
Help
News
Narrow your search
| Listing 1 - 2 of 2 |
Sort by
|
Book
Process expressions and Hoare's logic
Loading...
Author: Ponse, Alban
Year: 1989 Publisher: Amsterdam Stichting mathematisch centrum
Year: 1989 Publisher: Amsterdam Stichting mathematisch centrum
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Book
Modal logic and process algebra : a bisimulation perspective
Loading...
Authors:
De Rijke, Maarten
---
Ponse, Alban
---
Venema, Yde
ISBN: 1881526968 Year: 1995 Publisher: Stanford (Calif.): CSLI
ISBN: 1881526968 Year: 1995 Publisher: Stanford (Calif.): CSLI
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Keywords
Formal languages --- Modality (Logic) --- Parallel processing (Electronic computers) --- Congresses --- Congresses --- Congresses
| Listing 1 - 2 of 2 |
Sort by
|