Juarez Muylaert Filho

Learn More
This paper presents a distributed implementation of the Structured Gamma programming language, a language based on the Gamma multiset rewriting paradigm. Structured Gamma offers, in addition to the advantages introduced by Gamma, implicit concurrent behavior and a type system where not only types themselves are defined but also the automatic verification of(More)
  • 1