Skip to main content
Log in
Menu
Find a journal
Publish with us
Track your research
Search
Cart
Home
Formal Aspects of Computing
Volumes and issues
Volume 5, Issue 6
Formal Aspects of Computing
Applicable Formal Methods
Publishing model
:
Hybrid
Formal Aspects of Computing
is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites.
Search all Formal Aspects of Computing articles
Volume 5, Issue 6
November 1993
Filter by
Volume:
All volumes
Volume 33 (2021)
Volume 32 (2020)
Volume 31 (2019)
Volume 30 (2018)
Volume 29 (2017)
Volume 28 (2016)
Volume 27 (2015)
Volume 26 (2014)
Volume 25 (2013)
Volume 24 (2012)
Volume 23 (2011)
Volume 22 (2010)
Volume 21 (2009)
Volume 20 (2008)
Volume 19 (2007)
Volume 18 (2006)
Volume 17 (2005)
Volume 16 (2004)
Volume 15 (2003)
Volume 14 (2003)
Volume 13 (2001)
Volume 12 (2000)
Volume 11 (1999)
Volume 10 (1998)
Volume 9 (1997)
Volume 8 (1996)
Volume 7 (1995)
Volume 6 (1994)
Volume 5 (1993)
Volume 4 (1992)
Volume 3 (1991)
Volume 2 (1990)
Volume 1 (1989)
Sort by
Date published:
New to old
Old to new
Update results
5 articles in this issue
Real space process algebra
J. C. M. Baeten
J. A. Bergstra
OriginalPaper
Pages: 481 - 529
Recursion induction for real-time processes
Jim Davies
Steve Schneider
OriginalPaper
Pages: 530 - 553
Proof rules for recursive procedures
Wim H. Hesselink
OriginalPaper
Pages: 554 - 570
Book review
Rafael D. Lins
BookReview
Pages: 571 - 572
Forthcoming events
Events
Pages: 573 - 573
Search
Search by keyword or author
Search
Navigation
Find a journal
Publish with us
Track your research