<--- Back to Details
First PageDocument Content
Jan Bergstra / Process calculus / Algebra of Communicating Processes / Abstract algebra / Computer science / Communicating sequential processes / Algebraic logic / Axiom / Algebra / Process calculi / Computing / Software
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

Similar Documents

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

Finite-state machine / Computing / Mathematics / Deterministic pushdown automaton / Automata theory / Models of computation / Nondeterministic finite automaton

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

Functions and mappings / Function / Sheaf / Independence / Inverse function / Mathematics / Abstract algebra / Mathematical logic

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 / Computer science / Mathematics / Theory of computation / Computability theory / Jan Bergstra / Viggo Stoltenberg-Hansen / Fellows of the British Computer Society / Theoretical computer science / Alumni of the University of Bristol

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