|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 21 occurrences of 18 keywords
|
|
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 3 | Dorel Lucanu, Gabriel Ciobanu |
Model Checking for Object Specifications in Hidden Algebra.  |
VMCAI  |
2004 |
DBLP DOI BibTeX RDF |
hidden algebra, object specification, behavioral bisimulation, CTL models, model checking, labeled transition systems, SMV |
| 2 | Gabriel Ciobanu, Dorel Lucanu |
Specification and Verification of Synchronizing Concurrent Objects. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
hidden algebra, model checking, integration, temporal logics, Algebraic specification, concurrent systems, CCS, object-oriented specification |
| 2 | Corina Cîrstea |
Semantic Constructions for Hidden Algebra. |
WADT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gheorghe Grigoras, Dorel Lucanu |
On Hidden Algebra Semantics of Object Oriented Languages. |
Sci. Ann. Cuza Univ. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Razvan Diaconescu |
Behavioural Specification for Hierarchical Object Composition. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph A. Goguen, Kai Lin, Grigore Rosu |
Conditional Circular Coinductive Rewriting with Case Analysis. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph A. Goguen, Grigore Rosu |
Institution Morphisms. |
Formal Asp. Comput. |
2002 |
DBLP DOI BibTeX RDF |
Abstract model theory, Kan extension, Specification, Logic, Category theory, Institution |
| 1 | Kazuhiro Ogata, Kokichi Futatsugi |
Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
modeling, verification, specification, algebraic specification, distributed real-time systems, UNITY, CafeOBJ |
| 1 | Joseph A. Goguen, Kai Lin |
Web-based Multimedia Support for Distributed Cooperative Software Engineering*. |
ISMSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorel Lucanu, Ovidiu Gheorghies, Adriana Apetrei |
Bisimulation and Hidden Algebra. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph A. Goguen, Grigore Rosu |
Hiding More of Hidden Algebra. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Akira Mori, Kokichi Futatsugi |
Verifying Behavioural Specifications in CafeOBJ Environment. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu |
A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu, Joseph A. Goguen |
Hidden Congruent Deduction. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina Cîrstea |
Coalgebra semantics for hidden algebra: Parameterised objects an inheritance. |
WADT |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")