M. B. Josephs
发表
M. E. Bush,
M. B. Josephs,
1996
.
M. B. Josephs,
J. T. Udding,
1993,
[1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences.
Guy Haworth,
M. B. Josephs,
Z. H. Luo,
2007,
Comput. J..
M. B. Josephs,
D. Furey,
2022
.
Jifeng He,
Mark B. Josephs,
M. B. Josephs,
1990,
Programming Concepts and Methods.
Jun Xu,
Mark B. Josephs,
Reza Sotudeh,
2006,
Sixth International Conference on Application of Concurrency to System Design (ACSD'06).
Mark B. Josephs,
M. B. Josephs,
2003,
Ninth International Symposium on Asynchronous Circuits and Systems, 2003. Proceedings..
Mark B. Josephs,
M. B. Josephs,
Dennis P. Furey,
2002,
Concurrency and Hardware Design.
M. B. Josephs,
D. Furey,
M.B. Josephs,
2000,
Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537).
Steven M. Nowick,
Mark B. Josephs,
M. B. Josephs,
1999,
Proc. IEEE.
Steven M. Nowick,
Mark B. Josephs,
M. B. Josephs,
1999,
Proc. IEEE.
Steven M. Nowick,
Mark B. Josephs,
M. B. Josephs,
1999
.
Hemangee K. Kapoor,
Mark B. Josephs,
M. B. Josephs,
2007,
Fundam. Informaticae.
Mark B. Josephs,
M. B. Josephs,
1989,
Theor. Comput. Sci..
Mark B. Josephs,
M. B. Josephs,
2007,
13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'07).
Hemangee K. Kapoor,
Mark B. Josephs,
M. B. Josephs,
2005,
Fifth International Conference on Application of Concurrency to System Design (ACSD'05).
Mark B. Josephs,
M. B. Josephs,
2004,
25 Years Communicating Sequential Processes.
Hemangee K. Kapoor,
Mark B. Josephs,
M. B. Josephs,
2004,
Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004..
Hemangee K. Kapoor,
Mark B. Josephs,
M. B. Josephs,
2004,
Proceedings. 41st Design Automation Conference, 2004..
Hemangee K. Kapoor,
Mark B. Josephs,
M. B. Josephs,
2004,
Inf. Process. Lett..
Mark B. Josephs,
M. B. Josephs,
1998,
MPC.
Mark B. Josephs,
M. B. Josephs,
M. Josephs,
1992,
Acta Informatica.
Mark B. Josephs,
Jan Tijmen Udding,
M. B. Josephs,
1990,
CONCUR.
Mark B. Josephs,
Jan Tijmen Udding,
M. B. Josephs,
1990,
CAV.
Mark B. Josephs,
Jan Tijmen Udding,
M. B. Josephs,
1991
.
Rudolf H. Mak,
Mark B. Josephs,
Jan Tijmen Udding,
1992,
Designing Correct Circuits.
Mark B. Josephs,
M. B. Josephs,
Ivailo M. Nedelchev,
1995,
Proceedings Second Working Conference on Asynchronous Design Methodologies.
Mark B. Josephs,
Jan Tijmen Udding,
Tom Verhoeff,
1994,
Proceedings of 1994 IEEE Symposium on Advanced Research in Asynchronous Circuits and Systems.