BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
process (5)
simul (4)
test (3)
probabilist (3)
equival (2)

Stem preorder$ (all stems)

18 papers:

FoSSaCSFoSSaCS-2013-KatsumataS #algebra #monad #simulation
Preorders on Monads and Coalgebraic Simulations (SyK, TS), pp. 145–160.
LICSLICS-2013-HirschkoffMS #calculus
Name-Passing Calculi: From Fusions to Preorders and Types (DH, JMM, DS), pp. 378–387.
SACSAC-2010-LiuJWZQ #mining
Mining preorder relation between knowledge units from text (JL, LJ, ZW, QZ, YnQ), pp. 1047–1053.
KRKR-2008-YahiBLSP
A Lexicographic Inference for Partially Preordered Belief Bases (SY, SB, SL, MS, OP), pp. 507–517.
LICSLICS-2008-ChenF #axiom #equivalence #on the
On the Axiomatizability of Impossible Futures: Preorder versus Equivalence (TC, WF), pp. 156–165.
LICSLICS-2007-DengGHMZ #finite #probability #process #testing
Characterising Testing Preorders for Finite Probabilistic Processes (YD, RJvG, MH, CM, CZ), pp. 313–325.
KRKR-2006-BoothMW #how
A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder (RB, TAM, KSW), pp. 230–238.
VMCAIVMCAI-2002-TipleaT #abstraction #simulation
A Simulation Preorder for Abstraction of Reactive Systems (FLT, AT), pp. 272–288.
ICSTSAT-2001-Gelder #satisfiability
Combining Preorder and Postorder Resolution in a Satisfiability Solver (AVG), pp. 115–128.
TACASTACAS-2000-HelovuoV #process
Checking for CFFD-Preorder with Tester Processes (JH, AV), pp. 283–298.
LICSLICS-2000-BloomFG
Precongruence Formats for Decorated Trace Preorders (BB, WF, RJvG), pp. 107–118.
ICALPICALP-1999-KuceraM #algebra #process #simulation
Simulation Preorder on Simple Process Algebras (AK, RM), pp. 503–512.
CAVCAV-1997-Kaivola #composition #using #verification
Using Compositional Preorders in the Verification of Sliding Window Protocal (RK), pp. 48–59.
LICSLICS-1995-JonssonY #composition #probability #process #testing
Compositional Testing Preorders for Probabilistic Processes (BJ, WY), pp. 431–441.
ICALPICALP-1992-CleavelandSZ #probability #process #testing
Testing Preorders for Probabilistic Processes (RC, SAS, AEZ), pp. 708–719.
CAVCAV-1992-CelikkanC #behaviour #generative
Generating Diagnostic Information for Behavioral Preorders (UC, RC), pp. 370–383.
CAVCAV-1991-DillHW #simulation #using
Checking for Language Inclusion Using Simulation Preorders (DLD, AJH, HWT), pp. 255–265.
CAVCAV-1991-FernandezM #behaviour #on the fly #verification
“On the Fly” Verification of Behavioural Equivalences and Preorders (JCF, LM), pp. 181–191.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.