Results 1 - 10 of 21,541

and Event Structure

by Ed. Malka, Edit Doron, Ivy Sichel, Mitomo Kanemoto
"... This is a collection of papers presented at a workshop “Syntax, Lexicon, and Event Structure ” held in 2006 at the Hebrew University of Jerusalem, honoring Professor Anita Mittwoch on her eightieth birthday. The topics of the workshop were Professor Mittowoch’s ..."
Abstract - Add to MetaCart
This is a collection of papers presented at a workshop “Syntax, Lexicon, and Event Structure ” held in 2006 at the Hebrew University of Jerusalem, honoring Professor Anita Mittwoch on her eightieth birthday. The topics of the workshop were Professor Mittowoch’s

Probabilistic event structures and domains

by Daniele Varacca - Concurrency Theory: 15th International Conference, CONCUR ’04 Proceedings, LNCS , 2004
"... This paper investigates probability in the presence of causal dependence. More precisely, it studies the process model of probabilistic event structures. In their simplest form probabilistic choice is localised to cells at which immediate conflict arises; in which case probabilistic independence coi ..."
Abstract - Cited by 44 (10 self) - Add to MetaCart
This paper investigates probability in the presence of causal dependence. More precisely, it studies the process model of probabilistic event structures. In their simplest form probabilistic choice is localised to cells at which immediate conflict arises; in which case probabilistic independence

Objecthood: An event structure perspective

by Beth Levin , 1999
"... this paper. Since transitive verbs necessarily have objects, a challenge for theories of transitivity is how to deal with the just-mentioned problems involving the semantic correlates of objecthood. In this paper I revisit these issues from a novel perspective, showing that the notion `object' ..."
Abstract - Cited by 55 (13 self) - Add to MetaCart
' of a transitive verb can be fruitfully explored in the context of recent work on the structure and representation of verb meaning and the licensing of arguments. Much recent research has converged on the notion `event' as an important organizing notion in the linguistic representation of meaning

Bundle Event Structures and CCSP

by Rob Van Glabbeek, Frits Vaandrager , 2003
"... We investigate which event structures can be denoted by means of closed CCS ¥ CSP expressions. Working up to isomorphism we find that ¦ all denotable event structures are bundle event structures, ¦ upon adding an infinitary parallel composition all bundle event structures are denotable, without it ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
We investigate which event structures can be denoted by means of closed CCS ¥ CSP expressions. Working up to isomorphism we find that ¦ all denotable event structures are bundle event structures, ¦ upon adding an infinitary parallel composition all bundle event structures are denotable, without

Event Structures with Symmetry

by Glynn Winskel - GDP FESTSCHRIFT, ENTCS, TO APPEAR
"... A category of event structures with symmetry is introduced and its categorical properties investigated. Applications to the event-structure semantics of higher order processes, nondeterministic dataflow and the unfolding of Petri nets with multiple tokens are sketched. ..."
Abstract - Cited by 8 (5 self) - Add to MetaCart
A category of event structures with symmetry is introduced and its categorical properties investigated. Applications to the event-structure semantics of higher order processes, nondeterministic dataflow and the unfolding of Petri nets with multiple tokens are sketched.

Event Structures for Resolvable Conflict

by Rob Van Glabbeek, Gordon Plotkin
"... We propose a generalisation of Winskel's event structures, matching the expressive power of arbitrary Petri nets. In particular, our event structures capture resolvable conflict, besides disjunctive and conjunctive causality. ..."
Abstract - Cited by 4 (1 self) - Add to MetaCart
We propose a generalisation of Winskel's event structures, matching the expressive power of arbitrary Petri nets. In particular, our event structures capture resolvable conflict, besides disjunctive and conjunctive causality.

Event Structures for Resolvable Conflict

by unknown authors
"... Abstract. We propose a generalisation of Winskel's event structures, matching the expressive power of arbitrary Petri nets. In particular, our event structures capture resolvable conflict, besides disjunctive and conjunctive causality. ..."
Abstract - Add to MetaCart
Abstract. We propose a generalisation of Winskel's event structures, matching the expressive power of arbitrary Petri nets. In particular, our event structures capture resolvable conflict, besides disjunctive and conjunctive causality.

Notes on Event structures and Chu

by Gordon Plotkin , 1994
"... Introduction We consider the relation between event structures and Chu(Set; 2), particularly the full subcategory Sys of set systems. 2 Event Structures and Configurations Definition 1 1 An event structure is a structure (E; `) where `ae P(E) \Theta P(E). 2 A configuration of the event structure ..."
Abstract - Add to MetaCart
Introduction We consider the relation between event structures and Chu(Set; 2), particularly the full subcategory Sys of set systems. 2 Event Structures and Configurations Definition 1 1 An event structure is a structure (E; `) where `ae P(E) \Theta P(E). 2 A configuration of the event structure

The Ponder Policy Specification Language

by Nicodemos Damianou , Naranker Dulay , Emil Lupu , Morris Sloman - LECTURE NOTES IN COMPUTER SCIENCE , 2001
"... The Ponder language provides a common means of specifying security policies that map onto various access control implementation mechanisms for firewalls, operating systems, databases and Java. It supports obligation policies that are event triggered conditionaction rules for policy based management ..."
Abstract - Cited by 499 (28 self) - Add to MetaCart
The Ponder language provides a common means of specifying security policies that map onto various access control implementation mechanisms for firewalls, operating systems, databases and Java. It supports obligation policies that are event triggered conditionaction rules for policy based management

An Empirical Characterization of the Dynamic Effects of changes in Government Spending and Taxes on Output

by Olivier Blanchard, Roberto Perotti - QUARTERLY JOURNAL OF ECONOMICS , 2002
"... This paper characterizes the dynamic effects of shocks in government spending and taxes on U. S. activity in the postwar period. It does so by using a mixed structural VAR/event study approach. Identification is achieved by using institutional information about the tax and transfer systems to identi ..."
Abstract - Cited by 664 (9 self) - Add to MetaCart
This paper characterizes the dynamic effects of shocks in government spending and taxes on U. S. activity in the postwar period. It does so by using a mixed structural VAR/event study approach. Identification is achieved by using institutional information about the tax and transfer systems
Results 1 - 10 of 21,541