Gwen Salaün, M. Allemand, Ch. Attiogbé  Home/Search
Context Related
| sciences.univnantes.fr/inf...rr0014.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sciences.univnantes....recherche (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Grammar 33 A.1 Basic Specifications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 A.2 Basic Specifications with Subsorts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 A.3 Structured Specifications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 A.4 Architectural Specifications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 A.5 Specification Libraries . . . . . . .... (Update)
Cited by: More
Algebraic-Coalgebraic Specification in CoCasl - Mossakowski, Schröder.. (2003) (Correct)
Similar documents (at the sentence level):
24.6%: Specification of an Access Control System with a.. - Salaün, Allemand.. (Correct)
5.6%: MIAOw: a Method to Integrate a Process Algebra with Formal.. - Salaün, Attiogbé (2002) (Correct)
Active bibliography (related documents): More All
0.8: Verification of Integrated Specifications using PVS - Salaün, al. (Correct)
0.7: Formal Framework for the Combination of Process.. - Salaün, Allemand.. (2001) (Correct)
0.6: CASL: The Common Algebraic Specification Language - Astesiano, Bidoit.. (2001) (Correct)
Similar documents based on text: More All
2.5: A Method to Combine any Process Algebra with an.. - Salaün, Allemand.. (2002) (Correct)
2.5: An Algebraic Approach to Heterogeneous Software Systems - Andre, Royer (2000) (Correct)
2.2: Web Site Indexation and Ontologies - Desmontils, Jacquin (2000) (Correct)
BibTeX entry: (Update)
G. Salaun, M. Allemand, and C. Attiogbe, A formalism combining CCS and Casl, Tech. Report 00.14, University of Nantes, 2001. http://citeseer.ist.psu.edu/sala01formalism.html More
@misc{ sala01formalism,
author = "G. Sala and u Allemand and C. Attiogb",
title = "A formalism combining CCS and Casl",
text = "G. Salaun, M. Allemand, and C. Attiogbe, A formalism combining CCS and
Casl, Tech. Report 00.14, University of Nantes, 2001.",
year = "2001",
url = "citeseer.ist.psu.edu/sala01formalism.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1984
1174 Statecharts: A Visual Formalism for Complex System - Harel - 1987
592 Introduction to HOL: A Theorem Proving Environment for Highe.. (context) - Gordon, Melham - 1993
407 Introduction to the ISO Specification Language LOTOS (context) - Bolognesi, Brinksma - 1989
297 A Calculus of Mobile Processes (context) - Milner, Parrow et al. - 1989
297 A Calculus of Mobile Processes (context) - Milner, Parrow et al. - 1989
268 Larch: Languages and Tools for Formal Specification (context) - Guttag, Horning et al. - 1993
218 Process algebra for synchronous communication (context) - Bergstra, Klop - 1984
202 International Series in Computer Science (context) - Milner, Concurrency - 1989
200 Prentice Hall International Series in Computer Science (context) - Spivey, Notation et al. - 1992
186 A Temporal Calculus of Communicating Systems (context) - Moller, Tofts - 1990
177 Fundamentals of Algebraic Specification 1: Equations and Ini.. (context) - Ehrig, Mahr - 1985
88 A Tutorial Introduction to PVS (context) - Crow, Owre et al. - 1995
83 Cambridge University Press (context) - Abrial - 1996
82 Principles of OBJ (context) - Futatsugi, Goguen et al. - 1985
82 volume 828 of Lecture Notes in Computer Science (context) - Paulson, Theorem - 1994
60 A Process Specification Formalism (context) - Mauw, Veltink - 1990
33 International Standards Organisation (context) - LOTOS, Description et al. - 1989
29 The KIV-Approach to software verification - Reif - 1995
29 CASL -- The CoFI Algebraic Specification Language -- Summary (context) - Design, Group - 2001
29 An Overview of ELAN (context) - Borovansk, Kirchner et al. - 1998
24 An Informal Introduction to Specification Using CLEAR (context) - Burstall, Goguen - 1981
22 How to combine Z with a process algebra (context) - Fischer - 1998
20 An Introduction to OBJ (context) - Goguen, Kirchner et al. - 1987
19 An Operational Semantics for ZCCS - Galloway, Stoddart - 1997
19 Static semantic analysis and theorem proving for CASL - Mossakowski, Krieg-Brueckner - 1998
17 A Front-End Generator for Verification Tools - Cleaveland, Madelaine et al. - 1995
16 The State-Based CCS Semantics for Concurrent Z Specification (context) - Taguchi, Araki - 1997
15 Casl-Chart: A Combination of Statecharts and of the Algebrai.. - Reggio, Repetto - 2000
15 CASL -- The CoFI Algebraic Specification Language -- Semanti.. (context) - Task - 2000
12 The Coq Proof Assistant: A Tutorial (context) - Huet, Kahn et al. - 1997
11 CASL: From Semantics to Tools - Mossakowski - 2000
9 Model-Oriented Specification of Communicating Agents (context) - Toetenel - 1992
9 un langage pour le dveloppement de spcifications algbriques .. (context) - Bidoit - 1989
8 ASF - an Algebraic Specification Formalism (context) - Bergstra, Heering et al. - 1987
7 Plugging Data Constructs into Paradigm-Specific Languages: t.. - Astesiano, Cerioli et al. - 2000
6 Stepwise development of model-oriented real-time specificati.. (context) - Toetenel, van Katwijk - 1992
6 Integrated Formal Methods with Richer Methodological Profile.. - Galloway - 1996
5 Relating CASL with Other Specification Languages: the Instit.. - Mossakowski - 2000
5 Formalising a Value-Passing Calculus in HOL (context) - Nesi - 1999
5 Executing CASL Equational Specifications with the ELAN Rewri.. (context) - Kirchner, Ringeissen - 2000
5 The Concurrency Workbench of the New Century (context) - Cleaveland, Li et al. - 2000
4 Process algebra in PVS - Basten, Hooman - 1999
3 Axioms and Decidability (context) - Chen, Models - 1992
2 Dansk Datamatik Center (context) - Meiling, George et al. - 1986
2 Interpreting broadcast communication in SCCS - Holmer - 1993
1 A Generic Framework for Methods Integration (context) - Attiogb - 2000
1 Spcifications multiformalismes (context) - Salan - 2000
1 Case Study: Access Control System (context) - Ledru - 1998
Documents on the same site (http://www.sciences.univ-nantes.fr/info/perso/permanents/salaun/recherche.htm): More
An Approach to Combine Heterogeneous Specification.. - Salaün, Allemand.. (2002) (Correct)
Formal Combination of the CCS Process Algebra with.. - Salaün, Allemand.. (Correct)
Formal Framework for the Combination of Process.. - Salaün, Allemand.. (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC