Functional specification of time-sensitive communicating systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Algebraic and functional specification of an interactive serializable database interface
Distributed Computing - Special issue: Specification of concurrent systems
CARTESIAN STREAM TRANSFORMER COMPOSITION
Fundamenta Informaticae
Hi-index | 0.89 |