Mathai Joseph, Abha Moitra. Algebraic Specification Of A Communication Scheduler. In Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher, editors, Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE). Volume 186 of Lecture Notes in Computer Science, pages 356-370, Springer, 1985.
@inproceedings{JosephM85,
title = {Algebraic Specification Of A Communication Scheduler},
author = {Mathai Joseph and Abha Moitra},
year = {1985},
tags = {algebraic specification, algebra},
researchr = {https://researchr.org/publication/JosephM85},
cites = {0},
citedby = {0},
pages = {356-370},
booktitle = {Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE)},
editor = {Hartmut Ehrig and Christiane Floyd and Maurice Nivat and James W. Thatcher},
volume = {186},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-15199-0},
}