Labels: Accountability, Actor Model, Authority, Co-ordination, Commitment, Concurrency, Direct Logicâ„¢, Participatory Behavioral Model Checking
posted by Carl at Monday, April 28, 2008