A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming
Joshua S. Hodas(Harvey Mudd College), Ernesto Pimentel(Universidad de Málaga), Jeffrey Polakow(Harvey Mudd College), Pablo López(Universidad de Málaga), Lubomira Stoilova(Harvey Mudd College)
Cited by 8
Related Papers
Formalizing Web Service Choreographies
|Electronic Notes in Theoretical Computer Science|2004|220
Specification and Refinement of Dynamic Software Architectures
|IFIP advances in information and communication technology|1999|109
Compatibility and inheritance in software architectures
|Science of Computer Programming|2001|108
Adding roles to CORBA objects
|IEEE Transactions on Software Engineering|2003|65