Back to Results
First PageMeta Content
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

Document Date: 2007-09-04 04:02:48

Open Document

File Size: 169,51 KB

Share Result on Facebook

City

Berlin / Brookes / Amsterdam / London / /

Company

Bergstra and Klop / Elsevier Science Inc. / Prentice-Hall International / Elsevier B.V. / /

/

Facility

Aalborg University / University of Amsterdam / University of Edinburgh / /

IndustryTerm

labelled transition systems / axiom systems / satisfactory equational axiom systems / transition systems / /

Organization

Aalborg University / Department of Computer Science / University of Amsterdam / University of Edinburgh / Bas Luttik1 Department of Mathematics and Computer Science Technische Universiteit Eindhoven / Mathematical Centre / /

Person

M. van Vlijmen / J. Paredaens / Algebra / Vincent van Oostrom / /

/

Position

author / editor / /

ProvinceOrState

South Dakota / /

PublishedMedium

Electronic Notes in Theoretical Computer Science / American Mathematical Monthly / /

URL

www.elsevier.com/locate/entcs / http /

SocialTag