12 papers:
ICGT-2012-SerbanutaR #concurrent #framework #graph transformation #semantics #𝕂- A Truly Concurrent Semantics for the 𝕂 Framework Based on Graph Transformations (TFS, GR), pp. 294–310.
STOC-2007-VassilevskaWY #graph- All-pairs bottleneck paths for general graphs in truly sub-cubic time (VV, RW, RY), pp. 585–589.
TACAS-2005-HammerKM #ltl #model checking #on the fly- Truly On-the-Fly LTL Model Checking (MH, AK, SM), pp. 191–205.
SEFM-2005-JinH #concurrent #process #towards- Towards A Truly Concurrent Model for Processes Sharing Resources (NJ, JH), pp. 231–239.
- STOC-1999-CanettiO #what
- Secure Computation with Honest-Looking Parties: What If Nobody Is Truly Honest? (Extended Abstract) (RC, RO), pp. 255–264.
SIGAda-1999-Carlisle #development #implementation #independence #user interface- A truly implementation independent GUI development tool (MCC), pp. 47–52.
CSL-1999-GastinM #concurrent #parallel #programming language #semantics- A Truly Concurrent Semantics for a Simple Parallel Programming Language (PG, MWM), pp. 515–529.
ESOP-1996-Goubault #concurrent- Durations for Truly-Concurrent Transitions (EG), pp. 173–187.
CAiSE-1991-Troyer #concept #object-oriented- The OO-Binary Relationship Model: A Truly Object Oriented Conceptual Model (ODT), pp. 561–578.
LICS-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.
HCI-CE-1987-PaulW #human-computer #interface #towards- Towards a Truly High-Level and Integrated Human-Computer Interface (DWP, HRW), pp. 53–60.
SCC-1982-GanzingerGMW #compilation #generative #semantics- A Truly Generative Semantics-Directed Compiler Generator (HG, RG, UM, RW), pp. 172–184.
