A Branching Time Logical System for Open Distributed Systems Development

From MaRDI portal
Publication:4916209