|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 1 keywords
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten |
Models and temporal logical specifications for timed component connectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 6(1), pp. 59-82, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
1998 ACM Computing Classsification C.2.4, D.1.3, D.2.4, D.2.6, D.2.11, D.2.13, D.3.2, D.3.3, F.1.2, F.3.1, F.3.3, F.3.2 |
1 | Jos C. M. Baeten, Chris Verhoef |
A Congruence Theorem for Structured Operational Semantics with Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings, pp. 477-492, 1993, Springer, 3-540-57208-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
CR Categories D.3.1, F.1.1, F.4.3, F.3.2 |
1 | Frank S. de Boer, Catuscia Palamidessi |
On the Asynchronous Nature of Communication in Concurrent Logic Languages: A Fully Abstract Model Based on Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings, pp. 99-114, 1990, Springer, 3-540-53048-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
1987 Computing Reviews Categories D.1.3, D.3.1, F.1.2, F.3.2 |
1 | Cornelis A. Middelburg |
Experiences with Combining Formalisms in VVSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Methods ![In: Algebraic Methods II: Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989], pp. 83-103, 1989, Springer, 3-540-53912-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
1987 CR categories D.2.1, D.2.2, D.3.1, F.3.1, F.4.1, F.3.2 |
1 | Jan A. Bergstra, Jan Willem Klop |
ACTtau: A Universal Axiom System for Process Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Methods ![In: Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987], pp. 447-463, 1987, Springer, 3-540-51698-0. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
1982 CR Categories F.1.2, F.4.3, D.3.3, F.3.2 |
1 | Rob J. van Glabbeek, Frits W. Vaandrager |
Modular Specifications in Process Algebra with Curious Queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Methods ![In: Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987], pp. 465-506, 1987, Springer, 3-540-51698-0. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
1982 CR Categories C.2.2, D.1.3, D.2.1, D.2.2, F.1.1, F.1.2, F.3.2 |
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|