Search
Submission Procedure
share:
|
Special Issues
Submission Procedure
Aims and Scope
Board of Editors
What's New
Follow us
Articles by Topics
Articles by Author
Geographical Mashup
List of Topics
Printed Publications
Volume 26 (2020)
Volume 25 (2019)
Volume 24 (2018)
Volume 23 (2017)
Volume 22 (2016)
Volume 21 (2015)
Volume 20 (2014)
Volume 19 (2013)
Volume 18 (2012)
Volume 17 (2011)
Volume 16 (2010)
Volume 15 (2009)
Volume 14 (2008)
Volume 13 (2007)
Volume 12 (2006)
Volume 11 (2005)
Volume 10 (2004)
Volume 9 (2003)
Volume 8 (2002)
Volume 7 (2001)
Volume 6 (2000)
Volume 5 (1999)
Volume 4 (1998)
Volume 3 (1997)
Volume 2 (1996)
Volume 1 (1995)
Volume 0 (1994)
Collection of other papers
Richard Banach
University of Manchester, Great Britain
R. Banach, F. Arbab, G. A. Papadopoulos, J. R. W. Glauert
:
A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model
/jucs_9_1/a_multiply_hierarchical_automaton
page 2 - 33
Vol.9
/
Issue 1
R. Banach, J. Balázs, G. A. Papadopoulos
:
A Translation of the Pi-Calculus Into MONSTR
/jucs_1_6/a_translation_of_the
page 339 - 398
Vol.1
/
Issue 6
R. Banach
:
Formal Methods
Guest Editorial
/jucs_13_5/formal_methods
page 593 - 601
Vol.13
/
Issue 5
R. Banach
:
MONSTR I - Fundamental Issues and the Design of MONSTR
/jucs_2_4/monstr_i_fundamental_issues
page 164 - 216
Vol.2
/
Issue 4
R. Banach
:
MONSTR II - Suspending Semantics and Independence
/jucs_3_7/monstr_ii_suspending_semantics
page 756 - 802
Vol.3
/
Issue 7
R. Banach
:
MONSTR V - Transitive Coercing Semantics and the Church-Rosser Property
/jucs_3_12/monstr_v_transitive_coercing
page 1283 - 1336
Vol.3
/
Issue 12
J. Woodcock, R. Banach
:
The Verification Grand Challenge
/jucs_13_5/the_verification_grand_challenge
page 661 - 668
Vol.13
/
Issue 5