MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Algebraic Specification of Concurrency." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

ATOM

Algebraic Specification of Concurrent Systems
by Egidio Astesiano, Manfred Broy, Gianna Reggio — 1999
…13 Algebraic Specification of Concurrent Systems Egidio Astesiano 1 , Manfred Broy 2…
Cited by 18 (4 self) – Add To MetaCart

Formal Development of Java Programs
by Giovanna Di, Giovanna Di Marzo Serugendo, Nicolas Guelfi — 1997
… Engineering, Formal Methods, Petri Nets, Algebraic Specifications, Refinement, Concurrent and Distributed…
Add To MetaCart

Communicating Concurrent Objects in HiddenCCS
by Gabriel Ciobanu, Dorel Lucanu — 2004
…CCS specification and its verification in Maude. Key words: Algebraic specification, concurrent systems, process…
Cited by 1 (0 self) – Add To MetaCart

From Sequential Processes to Grid Computation
by Mark Burgin, Marc L. Smith — 2006 — In Proceedings of the 2006 International Conference on Foundations of Computer Science (FCS'06), Edited by Hamid R. Arabnia and Rose Joshua, CSREA Press, Las Vegas
… of computation that consists of two main components. CSP provides a process algebra for the specification…
Cited by 1 (1 self) – Add To MetaCart

Formal Treatment of Data Structures in Concurrency Models
by Nicolas Guelfi, Fabrice Mourlin — 1996
…]). 4. Concurrency models including Algebraic Specifications Both Petri nets and process algebra have…
Add To MetaCart

An Object Oriented Specification Language based on Hierarchical Algebraic Petri Nets
by Olivier Biberstein, Didier Buchs — 1994 — In IS-CORE Workshop (ESPRIT
…, algebraic specification of concurrency [AR93], dynamic data types [Reg93] and objects and temporal logic [FM…
Cited by 4 (1 self) – Add To MetaCart

From Abstract Data Types to Algebraic Development Techniques: A Shift . . .
by H. Ehrig, M. Gajewsky, U. Wolter — 1998 — In Proc. of Workshop on Algebraic Development Techniques
… fruitful for the development of algebraic specification techniques within the last two decades. Since…
Cited by 4 (3 self) – Add To MetaCart

Very Abstract Specifications: A Formalism Independent Approach
by Maura Cerioli — 1998
… algebras, see (Reggio, 1991), providing a formal framework for algebraic specifications of concurrent…
Cited by 1 (0 self) – Add To MetaCart

Algebraic View Specification
by Barbara Paech — 1996 — LNCS 1101,SpringerVerlag
… specification. Approaches for the algebraic specification of concurrent systems, for example SMoLCS [AMRW85…
Cited by 3 (1 self) – Add To MetaCart

Truth - A Platform for Verification of Distributed Systems
by Martin Leucker, Stephan Tobies, Lufg Fur Theo Informatik — 1998
… specification. developed by the modelling concurrent systems group at the University of Technology Aachen. Its…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB