-
1
-
-
24344475126
-
FM'99 exhibition: Competition 'Cash-Point Service'
-
Based on the "9th Problem" stated at the Workshop on "The Analysis of Concurrent Systems", Cambridge, September 1983
-
FM'99 exhibition: Competition 'Cash-Point Service', 1999. Based on the "9th Problem" stated at the Workshop on "The Analysis of Concurrent Systems", Cambridge, September 1983, LNCS 207.
-
(1999)
LNCS
, vol.207
-
-
-
4
-
-
24344477827
-
-
Department of Mathematics and Computer Science, Gordon College, Fall
-
R. C. Bjork. Course notes 'Object-Oriented Software Development'. Department of Mathematics and Computer Science, Gordon College, Fall 2004. http://www.math-cs.gordon.edu/local/courses/cs211/ATMExample.
-
(2004)
Course Notes 'Object-oriented Software Development'
-
-
Bjork, R.C.1
-
5
-
-
0042227025
-
-
LNCS 207. Springer
-
B. T. Denvir, W. T. Harwood, M. I. Jackson, and M. J. Wray, editors. The Analysis of Concurrent Systems, LNCS 207. Springer, 1985.
-
(1985)
The Analysis of Concurrent Systems
-
-
Denvir, B.T.1
Harwood, W.T.2
Jackson, M.I.3
Wray, M.J.4
-
6
-
-
24344502577
-
Formal specification of e-commerce applications - An interdisciplinary approach
-
K. Altinkemer and K. Chari, editors, ForSoft Publications, TU Munich
-
A. Franz, P. Sties, and S. Vogel. Formal specification of e-commerce applications - an interdisciplinary approach. In K. Altinkemer and K. Chari, editors, Proceedings of the Sixth INFORMS Conference on Information Systems and Technology. ForSoft Publications, TU Munich, 2001.
-
(2001)
Proceedings of the Sixth INFORMS Conference on Information Systems and Technology
-
-
Franz, A.1
Sties, P.2
Vogel, S.3
-
9
-
-
0001879305
-
The syntax and semantics of μCRL
-
A. Ponse, C. Verhoef, and S. F. M. van Vlijmen, editors, Workshops in Computing. Springer
-
J. F. Grote and A. Ponse. The syntax and semantics of μCRL. In A. Ponse, C. Verhoef, and S. F. M. van Vlijmen, editors, Algebra of Communicating Processes '94, Workshops in Computing. Springer, 1995.
-
(1995)
Algebra of Communicating Processes '94
-
-
Grote, J.F.1
Ponse, A.2
-
12
-
-
24644442880
-
A generic theorem prover of CSP refinement
-
LNCS. Springer, to appear
-
Y. Isobe and M. Roggenbach. A generic theorem prover of CSP refinement. In Proceedings of TACAS 2005, LNCS. Springer, to appear.
-
Proceedings of TACAS 2005
-
-
Isobe, Y.1
Roggenbach, M.2
-
14
-
-
24344498169
-
CCC - The CASL consistency checker
-
J. L. Fiadeoiro, P. D. Mosses, and F. Orejas, editors, LNCS. Springer, to appear
-
C. Lüth, M. Roggenbach, and L. Schröder. CCC - the CASL Consistency Checker. In J. L. Fiadeoiro, P. D. Mosses, and F. Orejas, editors, Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-30, 2004, Revised Selected Papers, LNCS. Springer, to appear.
-
Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-30, 2004, Revised Selected Papers
-
-
Lüth, C.1
Roggenbach, M.2
Schröder, L.3
-
17
-
-
23044532063
-
A formal and executable specification of the internet open trading protocol
-
K. Bauknecht, A. M. Tjoa, and G. Quirchmayr, editors LNCS 2455. Springer
-
C. Ouyang, L. M. Kristensen, and J. Billington. A formal and executable specification of the internet open trading protocol. In K. Bauknecht, A. M. Tjoa, and G. Quirchmayr, editors, Proceedings of 3rd International Conference on E-commerce and Web Technology, LNCS 2455, pages 377-387. Springer, 2002.
-
(2002)
Proceedings of 3rd International Conference on E-commerce and Web Technology
, pp. 377-387
-
-
Ouyang, C.1
Kristensen, L.M.2
Billington, J.3
-
19
-
-
0004311499
-
CASL-LTL - A CASL extension for dynamic Reactive Systems -Summary
-
Università di Geneva
-
G. Reggio, E. Astesiano, and C. Choppy. CASL-LTL - a CASL extension for dynamic Reactive Systems -Summary. Technical Report DISI-TR-99-34, Università di Geneva, 2000.
-
(2000)
Technical Report
, vol.DISI-TR-99-34
-
-
Reggio, G.1
Astesiano, E.2
Choppy, C.3
-
20
-
-
84974686985
-
CASL-CHART: A combination of statecharts and of the algebraic specification language CASL
-
Algebraic Methodology and Software Technology. Springer
-
G. Reggio and L. Repetto. CASL-CHART: a combination of statecharts and of the algebraic specification language CASL. In Algebraic Methodology and Software Technology, volume 1816 of LNCS, pages 243-257. Springer, 2000,.
-
(2000)
LNCS
, vol.1816
, pp. 243-257
-
-
Reggio, G.1
Repetto, L.2
-
21
-
-
0347587025
-
Algebraic-coalgebraic specification in CoCASL
-
Springer
-
H. Reichel, T. Mossakowski, M. Roggenbach, and L. Schröder. Algebraic-coalgebraic specification in CoCASL. In Recent Developments in Algebraic Development Techniques, 16th International Workshop (WADT 02), LNCS 2755. Springer, 2003.
-
(2003)
Recent Developments in Algebraic Development Techniques, 16th International Workshop (WADT 02), LNCS 2755
-
-
Reichel, H.1
Mossakowski, T.2
Roggenbach, M.3
Schröder, L.4
-
22
-
-
33644584169
-
CSP-CASL - A new integration of process algebra and algebraic specification
-
to appear
-
M. Roggenbach. CSP-CASL - A new integration of process algebra and algebraic specification. Theoretical Computer Science, to appear.
-
Theoretical Computer Science
-
-
Roggenbach, M.1
-
25
-
-
84966565284
-
Specification of an access control system with a formalism combining CCS and CASL
-
IEEE
-
G. Salaün, M. Allemand, and C. Attiogbé. Specification of an access control system with a formalism combining CCS and CASL. In Parallel and Distributed Processing, pages 211-219. IEEE, 2002.
-
(2002)
Parallel and Distributed Processing
, pp. 211-219
-
-
Salaün, G.1
Allemand, M.2
Attiogbé, C.3
-
26
-
-
0024139847
-
The formal specification and design of a distributed electronic funds transfer system
-
M. G. Staskauskas. The formal specification and design of a distributed electronic funds transfer system. IEEE Transactions on Computers, 37, 1988.
-
(1988)
IEEE Transactions on Computers
, vol.37
-
-
Staskauskas, M.G.1
-
27
-
-
22144485918
-
An Electronic Purse: Specification, Refinement, and Proof
-
Oxford University Computing Laboratory
-
S. Stepney, D. Cooper, and J. Woodcock. An Electronic Purse: Specification, Refinement, and Proof. Technical Monograph PRG-126, Oxford University Computing Laboratory, 2000.
-
(2000)
Technical Monograph
, vol.PRG-126
-
-
Stepney, S.1
Cooper, D.2
Woodcock, J.3
|