TRACE (psycholinguistics)
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
- FoSSaCS
- 2015
We present a formal correspondence between Laird’s trace semantics and the nominal game model of Murawski and Tzevelekos for… (More)
Is this relevant?
2015
2015
- Acta Informatica
- 2015
In the classical Mazurkiewicz trace approach the behaviour of a concurrent system is described in terms of sequential… (More)
Is this relevant?
2014
2014
- 2014
In the classical Mazurkiewicz trace approach the behaviour of a concurrent system is described in terms of sequential… (More)
Is this relevant?
2009
2009
- 2009
If computer is going to become a new medium to think with and work, if we are going to be able to interact and communicate in… (More)
Is this relevant?
2007
2007
- 31st IEEE Software Engineering Workshop (SEW 2007…
- 2007
Transaction is a lasting debatable issue, no matter in database systems or in the new paradigm of web services. Particularly, in… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
- 2005
The AeroCom exercise diagnoses multicomponent aerosol modules in global modeling. In an initial assessment simulated global… (More)
Is this relevant?
2003
2003
- 2003
In this paper we define a general trace model for security protocols which allows to reason about various formal definitions of… (More)
Is this relevant?
2002
2002
- ICLP
- 2002
The operational behavior of constraint programs is not easy to understand. We propose an approach where high-level views of… (More)
Is this relevant?
2001
2001
- IWPSE '01
- 2001
ABSTRACT Technical systems play an important role in our daily lives. Most systems have to be changed during their lifetime, but… (More)
Is this relevant?
1985
1985
- Distributed Computing
- 1985
A model and a sound and complete proof system for networks of processes in which component processes communicate exclusively… (More)
Is this relevant?