by Josephs, Mark B.
Published in Communicating Sequential Processes. The First 25 Years (2005)

by Josephs, Mark B, Kapoor, Hemangee K
Published in Fundamenta informaticae (2007)

by Kapoor, Hemangee K., Josephs, Mark B.
Published in Information processing letters (31.03.2004)

by Kapoor, Hemangee K, Josephs, Mark B, Furey, Dennis P
Published in Fundamenta informaticae (2006)

by Kapoor, Hemangee K., Josephs, Mark B.
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 41st annual conference on Design automation; 07-11 June 2004 (07.06.2004)

by Houston, Iain S.C., Josephs, Mark B.
Published in Computer standards and interfaces (01.09.1995)

by Josephs, M.B.
Published in 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'07) (01.03.2007)

by Van Berkel, C.H., Josephs, M.B., Nowick, S.M.
Published in Proceedings of the IEEE (01.02.1999)

by Josephs, M.B., Nowick, S.M., Van Berkel, C.H.
Published in Proceedings of the IEEE (1999)

by Josephs, Mark B, Nowick, Steven M, Van Berkel, C H
Published in Proceedings of the IEEE (01.02.1999)

by NOWICK, Steven M, JOSEPHS, Mark B, VAN BERKEL, C.H. (Kees)
Published in Proceedings of the IEEE (1999)

by Josephs, M.B.
Published in Ninth International Symposium on Asynchronous Circuits and Systems, 2003. Proceedings (2003)

by Xu, J., Josephs, M.B., Sotudeh, R.
Published in Sixth International Conference on Application of Concurrency to System Design (ACSD'06) (2006)

by Nowick, S.M., Josephs, M.B., van Berkel, C.H.
Published in Proceedings of the IEEE (01.02.1999)

by Kapoor, H.K., Josephs, M.B.
Published in Fifth International Conference on Application of Concurrency to System Design (ACSD'05) (2005)

by Josephs, M.B., Furey, D.
Published in Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537) (2000)

by Josephs, M.B., Yantchev, J.T.
Published in IEEE transactions on very large scale integration (VLSI) systems (01.12.1996)

by Josephs, Mark B.
Published in Theoretical computer science (16.10.1989)

by Josephs, M.B., Udding, J.T.
Published in [1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences (1993)

by JOSEPHS, M. B, BAILEY, A. M
Published in Formal aspects of computing (01.07.1997)