Step Bisimulation is Pomset Equivalence on a Parallel Language Without Explicit Internal Choice.

Douglas R. Troeger

Published in: Math. Struct. Comput. Sci. (1993)

Keyphrases

programming language
language learning
massively parallel
equivalence relation
multi step
parallel implementation
databases
natural language
modeling language
computer architecture
computational linguistics