Locality and non-interleaving semantics in calculi for mobile processes
Locality and non-interleaving semantics in calculi for mobile processes is a book. It was written by Davide Sangiorgi and published by LFCS, Dept. of Computer Science, University of Edinburgh in 1994.
Key facts
- author: Davide Sangiorgi
- publication date: 1994
- book publisher: LFCS, Dept. of Computer Science, University of Edinburgh
- book series: LFCS report series
- book subjects: Calculus, Pi
Extract data
Download datasets about Locality and non-interleaving semantics in calculi for mobile processes:
Dataset of books series that contain Locality and non-interleaving semantics in calculi for mobile processes:
Dataset of book subjects that contain Locality and non-interleaving semantics in calculi for mobile processes:
"Locality and non-interleaving semantics in calculi for mobile processes" is one of the books by Davide Sangiorgi, books by LFCS, Dept. of Computer Science, University of Edinburgh and 2,617,384 books in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.