Nonsequential Automata Semantics for a Concurrent, Ob ject-Based Language (2008)
P. Blauth, A. Sernadas, Faculdade De Ci^encias
cfl1998 Published by Elsevier Science B. V. Menezes, Sernadas & Costa 1 Introduction We construct a semantic domain with full concurrency which satisfies the diagonal compositionality...
Pedro V. Silva, Centro De Matematica, Faculdade De Ci^encias
It is proved to be decidable, for any given nite subset F of X and mapping ':
Geometric Representations of Inverse Semigroups (2000)
Benjamin Steinberg, Faculdade De Ci^encias
This paper introduces the notion of a geometric representation of an inverse semigroup, a generalization to 0-E-unitary inverse semigroups of the P -representation of an E-unitary inverse semigroup....
Power Semigroups and Polynomial Closure (2000)
Benjamin Steinberg, Faculdade De Ci^encias
We show that if H is a pseudovariety of groups closed under semidirect product with the pseudovariety of p-groups for some prime p, then the pseudovariety of semigroups associated to the Boolean...