Debate '90: An electronic discussion on true concurrency.

Published in: Partial Order Methods in Verification (1996)

Keyphrases

bulletin board
concurrency control
database
databases
neural network
database systems
software systems
online discussion
literature review
electronic books