Inge Bethke - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 15 from 15

2009

Straight-line instruction sequence completeness for total calculation on cancellation meadowsJan A. Bergstra, Inge Bethke. corr, abs/0905.4612, 2009. [doi]

Square root meadowsJan A. Bergstra, Inge Bethke. corr, abs/0901.4664, 2009. [doi]

2007

Decision problems for pushdown threadsJan A. Bergstra, Inge Bethke, Alban Ponse. ACTA, 44(2):75-90, 2007. [doi]

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

2005

An upper bound for the equational specification of finite state servicesJan A. Bergstra, Inge Bethke. ipl, 94(6):267-269, 2005. [doi]

Network algebra in JavaJan A. Bergstra, Inge Bethke. jlp, 62(2):247-271, 2005. [doi]

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

2003

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

2002

Molecular dynamicsJan A. Bergstra, Inge Bethke. jlp, 51(2):193-214, 2002. [doi]

2000

Descendants and Origins in Term RewritingInge Bethke, Jan Willem Klop, Roel C. de Vrijer. iandc, 159(1-2):59-124, 2000.

1999

Extending partial combinatory algebrasInge Bethke, Jan Willem Klop, Roel C. de Vrijer. mscs, 9(4):483-505, 1999.

1996

Completing Partial Combinatory Algebras With Unique Head-Normal FormsInge Bethke, Jan Willem Klop, Roel C. de Vrijer. lics 1996: 448-454

1995

A propositional logic with 4 values: true, false, divergent and meaninglessJan A. Bergstra, Inge Bethke, Piet Rodenburg. jancl, 5(2):199-217, 1995.

1994

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

1993

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

Sign in or sign up to see more results.

runs on WebDSL