Categorical logic of concurrency and interaction I. Synchronous processes

Bibliographic Details
Main Author: Pavlovic, D
Format: Conference item
Published: World Scientific 1995
_version_ 1797083383923212288
author Pavlovic, D
author_facet Pavlovic, D
author_sort Pavlovic, D
collection OXFORD
description
first_indexed 2024-03-07T01:41:01Z
format Conference item
id oxford-uuid:96d669bd-7c41-48ab-907e-f90ae285fde4
institution University of Oxford
last_indexed 2024-03-07T01:41:01Z
publishDate 1995
publisher World Scientific
record_format dspace
spelling oxford-uuid:96d669bd-7c41-48ab-907e-f90ae285fde42022-03-26T23:55:42ZCategorical logic of concurrency and interaction I. Synchronous processesConference itemhttp://purl.org/coar/resource_type/c_5794uuid:96d669bd-7c41-48ab-907e-f90ae285fde4Department of Computer ScienceWorld Scientific1995Pavlovic, D
spellingShingle Pavlovic, D
Categorical logic of concurrency and interaction I. Synchronous processes
title Categorical logic of concurrency and interaction I. Synchronous processes
title_full Categorical logic of concurrency and interaction I. Synchronous processes
title_fullStr Categorical logic of concurrency and interaction I. Synchronous processes
title_full_unstemmed Categorical logic of concurrency and interaction I. Synchronous processes
title_short Categorical logic of concurrency and interaction I. Synchronous processes
title_sort categorical logic of concurrency and interaction i synchronous processes
work_keys_str_mv AT pavlovicd categoricallogicofconcurrencyandinteractionisynchronousprocesses