Search for Author All Reviews
	Bruns, Glenn     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       Trapping mutual exclusion in the box calculus Esparza J., Bruns G. Theoretical Computer Science 153(1-2): 95-128, 1996.  Type: Article Box calculus is a new process algebra that seems to have a relatively simple Petri net semantics. The purpose of this new algebra is to be able to translate real-life parallel programs into a set of algebraic rules and then to prove in...... Jul 1 1997
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy