Travelled to:1 × Spain
Collaborated with:O.Rodrigues P.F.Pires M.Mattoso
Talks about:communic (1) behavior (1) specifi (1) program (1) databas (1) promal (1) orient (1) object (1) mechan (1) action (1)
Person: Mario R. F. Benevides
DBLP: Benevides:Mario_R=_F=
Contributed to:
2000
1994Wrote 2 papers:
- SAC-2000-PiresBM #behaviour #communication #database #object-oriented #specification
- Mechanisms for Specifying Communication Behavior in Object Oriented Database (PFP, MRFB, MM), pp. 389–397.
- PLILP-1994-RodriguesB #logic #named #programming
- PROMAL — Programming in Modal Action Logic (OR, MRFB), pp. 457–458.