Transition Systems with Algebraic Structure as Models of Computations.
A. Corradini, G. Ferrari, and U. Montanari. Semantics of Systems of Concurrent Processes, volume 469 of Lecture Notes in Computer Science, page 185-222. Springer, (1990)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/litp/CorradiniFM90
%A Corradini, Andrea
%A Ferrari, Gian Luigi
%A Montanari, Ugo
%B Semantics of Systems of Concurrent Processes
%D 1990
%E Guessarian, Irène
%I Springer
%K
%P 185-222
%T Transition Systems with Algebraic Structure as Models of Computations.
%U http://dblp.uni-trier.de/db/conf/litp/litp1990.html#CorradiniFM90
%V 469
%@ 3-540-53479-2
@inproceedings{conf/litp/CorradiniFM90,
added-at = {2023-12-13T01:12:24.000+0100},
author = {Corradini, Andrea and Ferrari, Gian Luigi and Montanari, Ugo},
biburl = {https://www.bibsonomy.org/bibtex/2c8cd9c7d48e28d8c8ece4ab06d1336f5/admin},
booktitle = {Semantics of Systems of Concurrent Processes},
crossref = {conf/litp/1990},
editor = {Guessarian, Irène},
ee = {https://doi.org/10.1007/3-540-53479-2_8},
interhash = {6e3f64255d67354dd7e48cf512b1ffdd},
intrahash = {c8cd9c7d48e28d8c8ece4ab06d1336f5},
isbn = {3-540-53479-2},
keywords = {},
pages = {185-222},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-13T01:12:24.000+0100},
title = {Transition Systems with Algebraic Structure as Models of Computations.},
url = {http://dblp.uni-trier.de/db/conf/litp/litp1990.html#CorradiniFM90},
volume = 469,
year = 1990
}