A Service-Oriented Model for Embedded Peer-to-Peer SystemsAntonio Brogi, Ernesto Pimentel, Francisco Gutiérrez et al.|Electronic Notes in Theoretical Computer Science|2008Cited by 11
A Tag-Frame System of Resource Management for Proof Search in Linear-Logic ProgrammingJoshua S. Hodas, Ernesto Pimentel, Jeffrey Polakow et al.|Lecture notes in computer science|2002Cited by 8
Resource Management in Linear Logic Proof Search RevisitedPablo López, Ernesto Pimentel|Lecture notes in computer science|1999Cited by 7
Isolating Resource Consumption in Linear Logic Proof SearchPablo López, Lubomira Stoilova, Ernesto Pimentel et al.|Electronic Notes in Theoretical Computer Science|2002Cited by 4