Jan A. Bergstra - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged process algebra

Meadow Enriched ACP Process AlgebrasJan A. Bergstra, C. A. Middelburg. corr, abs/0901.3012, 2009. [doi]

A process algebra based framework for promise theoryJan A. Bergstra, Inge Bethke, Mark Burgess. corr, abs/0707.0744, 2007. [doi]

On the Design Rationale of ACP Style Process AlgebrasJan A. Bergstra. ENTCS, 162:79-85, 2006. [doi]

Process algebra for hybrid systemsJan A. Bergstra, C. A. Middelburg. TCS, 335(2-3):215-280, 2005. [doi]

Model Theory for Process AlgebraJan A. Bergstra, C. A. Middelburg. BIRTHDAY 2005: 445-495 [doi]

Polarized process algebra with reactive compositionJan A. Bergstra, Inge Bethke. TCS, 343(3):285-304, 2005. [doi]

Processes Distribution of Homogeneous Parallel Linear Algebra Routines on Heterogeneous ClustersJavier Cuenca, Luis-Pedro García, Domingo Giménez, Jack Dongarra. cluster 2005: 1-10 [doi]

Located Actions in Process Algebra with TimingJan A. Bergstra, C. A. Middelburg. FUIN, 61(3-4):183-211, 2004. [doi]

Polarized Process Algebra and Program EquivalenceJan A. Bergstra, Inge Bethke. icalp 2003: 1-21 [doi]

Algebraic theory of probabilistic and nondeterministic processesDiego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo, Juan José Pardo. jlp, 55(1-2):57-103, 2003. [doi]

Non-regular iterators in process algebraJan A. Bergstra, Alban Ponse. TCS, 269(1-2):203-229, 2001. [doi]

Process algebra and conditional compositionJan A. Bergstra, Alban Ponse. ipl, 80(1):41-49, 2001. [doi]

Process Algebra with Four-Valued LogicJan A. Bergstra, Alban Ponse. jancl, 10(1):27-53, 2000.

Discrete time process algebra with silent stepJos C. M. Baeten, Jan A. Bergstra, Michel A. Reniers. BIRTHDAY 2000: 535-570

Bochvar-McCarthy Logic and Process AlgebraJan A. Bergstra, Alban Ponse. ndjfl, 39(4):464-484, 1998.

Kleene s Three-Valued Logic and Process AlgebraJan A. Bergstra, Alban Ponse. ipl, 67(2):95-103, 1998. [doi]

Hardness results for weak bisimilarity of simple process algebrasJitka Stríbrná. ENTCS, 18:179-190, 1998. [doi]

Process Algebra with Propositional SignalsJos C. M. Baeten, Jan A. Bergstra. TCS, 177(2):381-405, 1997. [doi]

Discrete Time Process Algebra: Absolute Time, Relative Time and Parametric TimeJos C. M. Baeten, Jan A. Bergstra. FUIN, 29(1-2):51-76, 1997.

Axiomatizations for the Perpetual Loop in Process AlgebraWan Fokkink. icalp 1997: 571-581

Algebra of Communicating Processes - Preface to the Special IssueAlban Ponse, Chris Verhoef, Bas van Vlijmen. TCS, 177(2):285-286, 1997. [doi]

A General Conservative Extension Theorem in Process Algebras with InequalitiesPedro R. D Argenio, Chris Verhoef. TCS, 177(2):351-380, 1997. [doi]

Discrete Time Process AlgebraJos C. M. Baeten, Jan A. Bergstra. fac, 8(2):188-208, 1996.

Discrete Time Process Algebra with AbstractionJos C. M. Baeten, Jan A. Bergstra. fct 1995: 1-15

Process Algebra with Partial ChoiceJos C. M. Baeten, Jan A. Bergstra. concur 1994: 465-480

Process Algebra with Iteration and NestingJan A. Bergstra, Inge Bethke, Alban Ponse. cj, 37(4):243-258, 1994.

A General Conservative Extension Theorem in Process AlgebraChris Verhoef. procomet 1994: 149-168

Process Algebra with BacktrackingJan A. Bergstra, Alban Ponse, Jos van Wamel. rex 1994: 46-91

Non Interleaving Process AlgebraJos C. M. Baeten, Jan A. Bergstra. concur 1993: 308-323

Process Algebra with CombinatorsJan A. Bergstra, Inge Bethke, Alban Ponse. csl 1994: 36-65

NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992S. Purushothaman, Amy E. Zwarico, editors, Workshops in Computing, Springer, 1993.

Discrete Time Process AlgebraJos C. M. Baeten, Jan A. Bergstra. concur 1992: 401-420

Asynchronous Communication in Real Space Process AlgebraJos C. M. Baeten, Jan A. Bergstra. ftrtft 1991: 473-492

Real Time Process AlgebraJos C. M. Baeten, Jan A. Bergstra. fac, 3(2):142-188, 1991.

Real Space Process AlgebraJos C. M. Baeten, Jan A. Bergstra. concur 1991: 96-110

The State Operator in Real Time Process AlgebraJos C. M. Baeten, Jan A. Bergstra. rex 1992: 107-123

Process Algebra with a Zero ObjectJos C. M. Baeten, Jan A. Bergstra. concur 1990: 83-98

Readies and Failures in the Algebra of Communicating ProcessesJan A. Bergstra, Jan Willem Klop, Ernst-Rüdiger Olderog. SICOMP, 17(6):1134-1177, 1988.

Global Renaming Operators in Concrete Process AlgebraJos C. M. Baeten, Jan A. Bergstra. iandc, 78(3):205-245, September 1988.

Ready-Trace Semantics for Concrete Process Algebra with the Priority OperatorJos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop. cj, 30(6):498-506, 1987.

Bounded Nondeterminism and the Approximation Induction Principle in Process AlgebraRob J. van Glabbeek. STACS 1987: 336-347

An Algebra of ProcessesJózef Winkowski, Andrea Maggiolo-Schettini. jcss, 35(2):206-228, 1987.

Top-Down Design and the Algebra of Communicating ProcessesJan A. Bergstra, J. V. Tucker. SCP, 5(2):171-199, 1985.

Algebra of Communicating Processes with AbstractionJan A. Bergstra, Jan Willem Klop. TCS, 37:77-121, 1985.

Verification of an alternating bit protocol by means of process algebraJan A. Bergstra, Jan Willem Klop. aii 1986: 9-23

Petri nets and algebraic calculi of processesGérard Boudol, Gérard Roucairol, Robert de Simone. apn 1986: 41-58

Process Algebra for Synchronous CommunicationJan A. Bergstra, Jan Willem Klop. iandc, 60(1-3):109-137, January/February/March 1984.

Process Algebra with Asynchronous Communication MechanismsJan A. Bergstra, Jan Willem Klop, J. V. Tucker. concur 1985: 76-95

The Algebra of Recursively Defined Processes and the Algebra of Regular ProcessesJan A. Bergstra, Jan Willem Klop. icalp 1984: 82-94

First Steps to Algebraic Processing of TextT. H. Merrett. icod 1983: 109-127

runs on WebDSL