Concepedia
Computer Networks · 2001 · 17 citations · 3 references
Open access
BusinessComputer ScienceInformation SystemsE-commerce SystemsElectronic ContractsE-commerce ManagementElectronic Data InterchangeTransaction Processing SystemsElectronic Commerce Rules
3
The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver
Smith · IEEE Transactions on Computers · 1980 · 3.7K citations
Computing, Computer Science, Computer Systems +17
Defining liveness
Bowen Alpern, Fred B. Schneider · Information Processing Letters · 1985 · 1K citations
Abstraction and composition: a verification method for co-operating systems
Peter Ochsenschläger, Jürgen Repp, Roland Rieke · Journal of Experimental & Theoretical Artificial Intelligence · 2000 · 17 citations