Configuration structures, event structures and Petri nets von van Glabbeek, R.J., Plotkin, G.D.

Volltext

Countable nondeterminism and random assignment von APT, K. R, PLOTKIN, G. D

Volltext

The Category-Theoretic Solution of Recursive Domain Equations von Smyth, M. B., Plotkin, G. D.

Volltext

Set-theoretical and other elementary models of the λ-calculus von Plotkin, Gordon D.

Volltext

Abstract types have existential type von Mitchell, John C., Plotkin, Gordon D.

Volltext

A logical view of composition von Abadi, Martín, Plotkin, Gordon D.

Volltext

Concrete domains von Kahn, G., Plotkin, G.D.

Volltext

An extension of models of Axiomatic Domain Theory to models of Synthetic Domain Theory von Fiore, Marcelo P., Plotkin, Gordon D.

Volltext

Full abstraction for a simple parallel programming language von Hennessy, M. C. B., Plotkin, G. D.

Volltext

Robin Milner, a Craftsman of Tools for the Mind von Plotkin, G D

Volltext

Configuration structures von Van Glabbeek, R.J., Plotkin, G.D.

Volltext

The λ-calculus is ω-incomplete von Plotkin, G. D.

Volltext

Configuration Structures, Event Structures and Petri Nets von van Glabbeek, R J, Plotkin, G D

Volltext

On Functors Expressible in the Polymorphic Typed Lambda Calculus von Reynolds, J.C., Plotkin, G.D.

Volltext

A term model for CCS von Hennessy, M. C. B., Plotkin, G. D.

Volltext

A cook's tour of countable nondeterminism von Apt, K. R., Plotkin, G. D.

Volltext

LCF considered as a programming language von Plotkin, G.D.

Volltext

The origins of structural operational semantics von Plotkin, Gordon D

Volltext

Call-by-name, call-by-value and the λ-calculus von Plotkin, G.D.

Volltext

A Powerdomain Construction von Plotkin, G. D.

Volltext