Mohamed Bettaz

Mohamed Bettaz

Philadelphia University at Jordan - Amman / Jordan
Engineering & Technology / Computer Science
AD Scientific Index ID: 401733
جامعة فيلادلفيا
person_outline Mohamed Bettaz's MOST POPULAR ARTICLES
1-) CASL reference manual: The complete documentation of the common algebraic specification language Springer, 2004
2-) How to specify non determinism and true concurrency with algebraic term nets Workshop on the Specification of Abstract Data Types, 164-180, 1991
3-) Performance comparison of high-level algebraic nets distributed simulation protocols Proceedings of the 28th conference on Winter simulation, 621-628, 1996
4-) An association of algebraic term nets and abstract data types for specifying real communication protocols Recent Trends in Data Type Specification, LNCS, Springer 534, 11-30, 1990
5-) Algebraic term nets: a formalism for specifying communication software in the OSI framework The unified computation laboratory: Modelling, specifications, and tools …, 1992