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:
concurr (5)
semant (4)
model (4)
honest (2)
extend (2)

Stem truli$ (all stems)

12 papers:

ICGTICGT-2012-SerbanutaR #concurrent #framework #graph transformation #semantics #𝕂
A Truly Concurrent Semantics for the 𝕂 Framework Based on Graph Transformations (TFS, GR), pp. 294–310.
STOCSTOC-2007-VassilevskaWY #graph
All-pairs bottleneck paths for general graphs in truly sub-cubic time (VV, RW, RY), pp. 585–589.
TACASTACAS-2005-HammerKM #ltl #model checking #on the fly
Truly On-the-Fly LTL Model Checking (MH, AK, SM), pp. 191–205.
SEFMSEFM-2005-JinH #concurrent #process #towards
Towards A Truly Concurrent Model for Processes Sharing Resources (NJ, JH), pp. 231–239.
STOCSTOC-1999-CanettiO #what
Secure Computation with Honest-Looking Parties: What If Nobody Is Truly Honest? (Extended Abstract) (RC, RO), pp. 255–264.
AdaSIGAda-1999-Carlisle #development #implementation #independence #user interface
A truly implementation independent GUI development tool (MCC), pp. 47–52.
CSLCSL-1999-GastinM #concurrent #parallel #programming language #semantics
A Truly Concurrent Semantics for a Simple Parallel Programming Language (PG, MWM), pp. 515–529.
ESOPESOP-1996-Goubault #concurrent
Durations for Truly-Concurrent Transitions (EG), pp. 173–187.
CAiSECAiSE-1991-Troyer #concept #object-oriented
The OO-Binary Relationship Model: A Truly Object Oriented Conceptual Model (ODT), pp. 561–578.
LICSLICS-1988-DeganoNM #concurrent #consistency #on the #semantics
On the Consistency of “Truly Concurrent” Operational and Denotational Semantics (Extended Abstract) (PD, RDN, UM), pp. 133–141.
HCIHCI-CE-1987-PaulW #human-computer #interface #towards
Towards a Truly High-Level and Integrated Human-Computer Interface (DWP, HRW), pp. 53–60.
PLDISCC-1982-GanzingerGMW #compilation #generative #semantics
A Truly Generative Semantics-Directed Compiler Generator (HG, RG, UM, RW), pp. 172–184.

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.