David B. Benson - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 37 from 37

2004

On the Practicality and Desirability of Highly-concurrent, Mostly-functional ProgrammingCarl H. Hauser, David B. Benson. acsd 2004: 115-124 [doi]

1995

Book ReviewsStephen R. Tate, David B. Benson, Jonathan Goldstine. sigact, 26(2):26-32, 1995. [doi]

1990

Fixed Points in Free Process Algebras, Part IIJerzy Tiuryn, David B. Benson. TCS, 70(2):179-192, 1990.

1989

Fixed Points in Free Process Algebras, Part IDavid B. Benson, Jerzy Tiuryn. TCS, 63(3):275-294, 1989.

1988

Bisimulation of AutomataDavid B. Benson, Ofer Ben-Shachar. iandc, 79(1):60-83, October 1988.

1987

Workshop Report: Third Workshop on the Mathematical Foundations of Programming Language Semantics, 1987, New OrleansDavid B. Benson, Michael G. Main. SIGPLAN, 22(9):38-43, 1987.

Concurrency and interleaving are equally fundamentalDavid B. Benson. eatcs, 33:54, 1987.

Algebraic Solutions to Recursion SchemesDavid B. Benson, Irène Guessarian. jcss, 35(3):365-400, 1987.

The Shuffle BialgebraDavid B. Benson. mfps 1988: 616-637

The Category of Milner Processes is ExactDavid B. Benson. ctcs 1987: 71-97

1986

Strong Bisimulation of State AutomataDavid B. Benson, Ofer Ben-Shachar. lics 1986: 77-81

The role of failure in successful designDavid B. Benson. sigsoft, 11(1):15, 1986. [doi]

1985

Fixed Ponts in Process Algebras with Internal Actions ( a preliminary note)David B. Benson, Jerzy Tiuryn. mfps 1986: 53-58

Free Semiring-Representations and NondeterminismMichael G. Main, David B. Benson. jcss, 30(3):318-328, 1985.

1984

Counting Paths: Nondeterminism as Linear AlgebraDavid B. Benson. TSE, 10(6):785-794, 1984.

Functional Behvior of Nondeterministic and Concurrent ProgramsMichael G. Main, David B. Benson. iandc, 62(2/3):144-189, August/September 1984.

1983

Deterministic and Nondeterministic Flowchart InterpretationsRichard J. Lorentz, David B. Benson. jcss, 27(3):400-433, 1983.

Functional Behaviour of Nondeterministic ProgramsMichael G. Main, David B. Benson. fct 1983: 290-301

Denotational Semantics for Natural Language Question-Answering ProgramsMichael G. Main, David B. Benson. coling, 9(1):11-21, 1983.

1982

A machine level semantics for nondeterministic, parallel programsDavid B. Benson. programm 1982: 15-25

In Scott-Strachey Style Denotational Semantics, Parallelism Implies NondeterminismDavid B. Benson. mst, 15(3):267-275, 1982.

1981

Free Upper Regular BandsMichael G. Main, David B. Benson. TCS, 16:93-98, 1981.

1979

Parameter Passing in Nondeterministic Recursive ProgramsDavid B. Benson. jcss, 19(1):50-62, 1979.

Tree Analysis Techniques in TsumegoDavid B. Benson, Bruce R. Hilditch, J. Denbigh Starkey. IJCAI 1979: 50-52

1977

Parallel Decomposition of LR(k) Parsers (Extended Abstract)David B. Benson, Ralph D. Jeffords. icalp 1977: 76-86

Some Preservation Properties of Normal Form GrammarsDavid B. Benson. SICOMP, 6(2):381-402, 1977.

A vector encoding technique applicable to tabular parsing methodsRalph D. Jeffords, David B. Benson. ACMse 1977: 140-153 [doi]

1976

Life in the game of GoDavid B. Benson. isci, 10(1):17-29, 1976. [doi]

1975

The Basic Algebraic Structures in Categories of DerivationsDavid B. Benson. iandc, 28(1):1-29, May 1975.

Semantic Preserving TranslationsDavid B. Benson. mst, 8(2):105-126, 1975.

1974

An Abstract Machine Theory for Formal Language ParsersDavid B. Benson. ACTA, 3:187-202, 1974.

An abstract machine theory for formal language parsersDavid B. Benson. category 1975: 106-111

1973

An alternate proof of Aho & Ullman's LR(k) viable prefix theoremDavid B. Benson. sigact, 5(4):11-14, 1973. [doi]

Another comment on the null word definition problemDavid B. Benson. sigact, 5(1):14-17, 1973. [doi]

1970

Syntax and Semantics: A Categorical ViewDavid B. Benson. iandc, 17(2):145-160, September 1970.

Syntactic CluesDavid B. Benson. focs 1970: 133-138

1969

The algebra of derivations and a semithue parserDavid B. Benson. acm 1969: 1-9 [doi]

Sign in or sign up to see more results.

runs on WebDSL