The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase must-preorder (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1992-2007 (11)
Publication types (Num. hits)
inproceedings(11)
Venues (Conferences, Journals, ...)
CONCUR(2) CAAP(1) Euro-Par(1) FSTTCS(1) ICALP(1) ISSTA(1) LICS(1) RE(1) RTSS(1) SIGSOFT FSE(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 10 keywords

Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
87V. Natarajan 0001, Rance Cleaveland Predictability of real-time systems: a process-algebraic approach. Search on Bibsonomy RTSS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF real time systems predictability, testing-based semantic preorder, process description language, TPL, activity-completion times, semantic preorder, must-preorder, optimality, process algebra, process algebra, variability, timing behavior
66Cosimo Laneve, Luca Padovani The Must Preorder Revisited. Search on Bibsonomy CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
64Diego Latella, Mieke Massink On testing and conformance relations for UML statechart diagrams behaviours. Search on Bibsonomy ISSTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF UML statechart diagrams, formal testing theory, conformance testing, formal semantics, testing theory
54Ugo de'Liguoro, Adolfo Piperno Must Preorder in Non-Deterministic Untyped Lambda-Calculus. Search on Bibsonomy CAAP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
52Roberto Segala Quiescence, Fairness, Testing, and the Notion of Implementation (Extended Abstract). Search on Bibsonomy CONCUR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
28Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang Characterising Testing Preorders for Finite Probabilistic Processes. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Luis Fernando Llana Díaz, Manuel Núñez 0001 Testing Semantics for Unbounded Nondeterminism. Search on Bibsonomy Euro-Par The full citation details ... 1997 DBLP  DOI  BibTeX  RDF unbounded nondeterminism, testing semantics, Process algebra, CSP, operational semantics
26Michele Boreale, Rocco De Nicola, Rosario Pugliese Basic Observables for Processes. Search on Bibsonomy ICALP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
14Bikram Sengupta, Rance Cleaveland Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts. Search on Bibsonomy RE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
14Bikram Sengupta, Rance Cleaveland Triggered message sequence charts. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF refinement orderings, scenario-based requirements, message sequence charts
14Rance Cleaveland, Gerald Lüttgen A Semantic Theory for Heterogeneous System Design. Search on Bibsonomy FSTTCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license