doi:[removed]j.entcs[removed]

First Page		Document Content
Date: 2007-09-04 04:02:48 Jan Bergstra Process calculus Algebra of Communicating Processes Abstract algebra Computer science Communicating sequential processes Algebraic logic Axiom Algebra Process calculi Computing Software		doi:[removed]j.entcs[removed] Add to Reading List Source URL: www.win.tue.nl Download Document from Source Website File Size: 169,51 KB Share Document on Facebook

	About “trivial” software patents: the IsNot case Jan A. Bergstra♣ ♣ Paul Klint♠ DocID: 1teq8 - View Document
	arXiv:1504.07184v1 [cs.CY] 27 AprArchitectural Adequacy and Evolutionary Adequacy as Characteristics of a Candidate Informational Money Jan A. Bergstra Informatics Institute, Faculty of Sciences, University of Ams DocID: 1cRPL - View Document
	On system rollback and totalised fields An algebraic approach to system change Mark Burgess and Alva Couch 20th June 2011 This paper is dedicated to Jan Bergstra on the occasion of his 60th birthday. DocID: 18Y1t - View Document
	arXiv:1406.6878v2 [math.RA] 22 Dec[removed]Division by Zero in Common Meadows∗ Jan A. Bergstra and Alban Ponse Section Theory of Computer Science Informatics Institute, Faculty of Science DocID: KYmL - View Document
	JOHN V TUCKER CLASSIFIED LIST OF PUBLICATIONS March 2013 My research publications can be classified under the following headings: Books Surveys DocID: 5PGn - View Document