Search results for "event-structures"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
52	Daniele Varacca, Hagen Völzer, Glynn Winskel	Probabilistic Event Structures and Domains.	CONCUR	2004	DBLP DOI BibTeX RDF
43	Paolo Baldan, Andrea Corradini 0001, Ugo Montanari	An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures.	FoSSaCS	1998	DBLP DOI BibTeX RDF
41	Jianmin Jiang, Jinzhao Wu, Donghuo Chen	Symmetry in event structures.	SAC	2006	DBLP DOI BibTeX RDF	symmetry, equivalences, event structures
40	P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan	Local Event Structures and Petri Nets.	CONCUR	1993	DBLP DOI BibTeX RDF
39	Nataly S. Moskaljova, Irina B. Virbitskaite	On the Category of Event Structures with Dense Time.	FCT	2001	DBLP DOI BibTeX RDF	timed event structures, timed bisimulation, category theory
37	H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy	A General Categorical Connection between Local Event Structures and Local Traces.	FCT	1999	DBLP DOI BibTeX RDF
37	Glynn Winskel	An introduction to event structures.	REX Workshop	1988	DBLP DOI BibTeX RDF	higher types, Petri nets, parallel computation, semantics, concurrency, traces, lambda calculus, nondeterminism, communicating processes, Event structures
35	P. Madhusudan	Model-checking Trace Event Structures.	LICS	2003	DBLP DOI BibTeX RDF
35	Arend Rensink	Denotational, Causal, and Operational Determinism in Event Structures.	CAAP	1996	DBLP DOI BibTeX RDF	partial order models, trees, determinism, event structures, concurrent languages, behavioural models
33	Jianmin Jiang, Jinzhao Wu	Symmetry and Autobisimulation.	PDCAT	2005	DBLP DOI BibTeX RDF	autobisimulation, Symmetry, event structures
32	Samy Abbes, Albert Benveniste	Concurrency, sigma-Algebras, and Probabilistic Fairness.	FoSSaCS	2009	DBLP DOI BibTeX RDF	Probabilistic Petri nets, probabilistic event structures, probabilistic fairness, true-concurrency
32	Claudia Faggian, Mauro Piccolo	Partial Orders, Event Structures and Linear Strategies.	TLCA	2009	DBLP DOI BibTeX RDF
32	Roman S. Dubtsov	Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
32	Samy Abbes, Albert Benveniste	Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications.	FoSSaCS	2005	DBLP DOI BibTeX RDF
32	Roman S. Dubtsov	Real-Time Event Structures and Scott Domains.	PaCT	2005	DBLP DOI BibTeX RDF
32	Glynn Winskel	Event Structures as Presheaves -Two Representation Theorems.	CONCUR	1999	DBLP DOI BibTeX RDF
32	Ferroudja Cherief	Back and Forth Bisimulations On Prime Event Structures.	PARLE	1992	DBLP DOI BibTeX RDF	Semantics of parallelism, back and forth bisimulations, refinement of actions, Concurrency, bisimulations, Event structures
30	Luigi Santocanale	A Nice Labelling for Tree-Like Event Structures of Degree 3.	CONCUR	2007	DBLP DOI BibTeX RDF
30	Jeremy Gunawardena	Geometric Logic, Causality and Event Structures.	CONCUR	1991	DBLP DOI BibTeX RDF
29	Christel Baier, Joost-Pieter Katoen, Diego Latella	Metric Semantics for True Concurrent Real Time.	ICALP	1998	DBLP DOI BibTeX RDF
26	Arend Rensink	A Complete Theory of Deterministic Event Structures.	CONCUR	1995	DBLP DOI BibTeX RDF
26	Irina B. Virbitskaite, Natalya S. Gribovskaja	Open Maps and Trace Semantics for Timed Partial Order Models.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	timed event structures, trace equivalence, Category theory, partial order semantics
24	Glynn Winskel	Symmetry and Concurrency.	CALCO	2007	DBLP DOI BibTeX RDF	higher order processes, nondeterministic dataflow, higher dimensional automata, Petri nets, symmetry, unfolding, Event structures, spans, pseudo monads
23	Guang Zheng, Shaorong Li, Jinzhao Wu, Lian Li	A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement.	FAW	2007	DBLP DOI BibTeX RDF	value passing CCS, valued stable event structures, valued labeled configuration structures, semantics, action refinement
22	Jinzhao Wu, Wei Yan	Model Checking of Computer-Based Systems.	ECBS	2007	DBLP DOI BibTeX RDF
21	Rob J. van Glabbeek, Gordon D. Plotkin	Event Structures for Resolvable Conflict.	MFCS	2004	DBLP DOI BibTeX RDF
21	Rob J. van Glabbeek, Frits W. Vaandrager	Bundle Event Structures and CCSP.	CONCUR	2003	DBLP DOI BibTeX RDF
21	Mogens Nielsen, P. S. Thiagarajan	Regular Event Structures and Finite Petri Nets: The Conflict-Free Case.	ICATPN	2002	DBLP DOI BibTeX RDF
21	P. S. Thiagarajan	Regular Event Structures and Finite Petri Nets: A Conjecture.	Formal and Natural Computing	2002	DBLP DOI BibTeX RDF
21	Irina B. Virbitskaite	Observational Semantics for Timed Event Structures.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
21	Irina B. Virbitskaite	Observing Some Properties of Event Structures.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
21	Nikolay A. Anisimov	A Disabling of Event Structures.	PARLE	1993	DBLP DOI BibTeX RDF
21	Guo-Qiang Zhang 0001	A Monoidal Closed Category of Event Structures.	MFPS	1991	DBLP DOI BibTeX RDF
21	Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard	Distributed Monitoring of Concurrent and Asynchronous Systems*.	Discret. Event Dyn. Syst.	2005	DBLP DOI BibTeX RDF	concurrent, fault diagnosis, distributed, asynchronous, unfoldings, fault management, event structures
21	Jinzhao Wu, Houguang Yue	Towards Action Refinement for Concurrent Systems with Causal Ambiguity.	SEFM	2004	DBLP DOI BibTeX RDF	causal ambiguity, event structures with causal ambiguity, Concurrency, action refinement
21	Pierpaolo Degano, Roberto Gorrieri, Giuseppe Rosolini	A Categorial View of Process Refinement.	REX Workshop	1992	DBLP DOI BibTeX RDF	concurrent programs, categories, event structures, true concurrency, Hierarchical specifications
21	Rob J. van Glabbeek, Ursula Goltz	Refinement of Actions in Causality Based Models.	REX Workshop	1989	DBLP DOI BibTeX RDF	Petri nets, Concurrency, action refinement, event structures
20	Alexander Artikis, Georgios Paliouras, François Portet, Anastasios Skarlatidis	Logic-based representation, reasoning and machine learning for event recognition.	DEBS	2010	DBLP DOI BibTeX RDF	event recognition
20	Gabriel Ciobanu, Dorel Lucanu	Events, Causality, and Concurrency in Membrane Systems.	Workshop on Membrane Computing	2007	DBLP DOI BibTeX RDF
18	Yafan An, Grantham Pang, J. Dwight Aplevich	A hybrid model for intelligent control systems.	J. Intell. Robotic Syst.	1994	DBLP DOI BibTeX RDF	modeling, Petri nets, hybrid systems, intelligent control, discrete event systems, Continuous time systems
18	Jeremy Gunawardena	A Generalized Event Structure for the Muller Unfolding of a Safe Net.	CONCUR	1993	DBLP DOI BibTeX RDF
17	Vaughan R. Pratt	Event-State Duality: The Enriched Case.	CONCUR	2002	DBLP DOI BibTeX RDF
16	Hernán Ponce de León	Testing concurrent systems through event structures. (Test de systèmes concurrents à l'aide de structures d'événements).		2014	RDF
16	Rob J. van Glabbeek, Gordon D. Plotkin	Configuration structures, event structures and Petri nets.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
16	Rob J. van Glabbeek, Gordon D. Plotkin	Configuration Structures, Event Structures and Petri Nets	CoRR	2009	DBLP BibTeX RDF
16	G. Michele Pinna	Event Structures for the Collective Tokens Philosophy of Inhibitor Nets.	MFCS	2005	DBLP DOI BibTeX RDF
16	Maria V. Andreeva, Irina B. Virbitskaite	Timed Equivalences for Timed Event Structures.	PaCT	2005	DBLP DOI BibTeX RDF
16	Glynn Winskel	Relations in Concurrency.	LICS	2005	DBLP DOI BibTeX RDF
16	Manling Li, Ruochen Xu, Shuohang Wang, Luowei Zhou, Xudong Lin 0003, Chenguang Zhu 0001, Michael Zeng 0001, Heng Ji, Shih-Fu Chang	CLIP-Event: Connecting Text and Images with Event Structures.	CoRR	2022	DBLP BibTeX RDF
16	Manling Li, Ruochen Xu, Shuohang Wang, Luowei Zhou, Xudong Lin 0003, Chenguang Zhu 0001, Michael Zeng 0001, Heng Ji, Shih-Fu Chang	CLIP-Event: Connecting Text and Images with Event Structures.	CVPR	2022	DBLP DOI BibTeX RDF
16	Marlon Dumas, Luciano García-Bañuelos	Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs.	Petri Nets	2015	DBLP DOI BibTeX RDF
16	Cosmin Adrian Bejan, Sanda M. Harabagiu	A Linguistic Resource for Discovering Event Structures and Resolving Event Coreference.	LREC	2008	DBLP BibTeX RDF
16	G. Michele Pinna	Event Structures with Disabling/Enabling Relation and Event Automata.	Fundam. Informaticae	2006	DBLP BibTeX RDF
16	Jianmin Jiang, Jinzhao Wu	The Preservation of Interleaving Equivalences.	ICECCS	2005	DBLP DOI BibTeX RDF	bundle action transitions, interleaving equivalences, action refinement, Event structures
16	Jaap van Oosten	Topological Aspects of Traces.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	independence relations, topology, traces, bisimulation, Partial order, event structures
16	William E. Howden, G. M. Shi	Linear and Structural Event Sequence Analysis.	ISSTA	1996	DBLP DOI BibTeX RDF	validation, analysis, event-structures, comments, event-sequence
16	Vineet Gupta 0001, Vaughan R. Pratt	Gages Accept Concurrent Behavior	FOCS	1993	DBLP DOI BibTeX RDF	natural concurrent programming language, concurrent behavior, Boolean propositions, intrinsic notion, consequence-preserving renamings, automata, linear logic, duality, accepters, event structures, gates, morphisms, algebraic structure
16	Gérard Boudol, Ilaria Castellani	Permutation of transitions: An event structure semantics for CCS and SCCS.	REX Workshop	1988	DBLP DOI BibTeX RDF	pomset-labelled transition systems, process algebras, event structures
16	M. W. Shields	Behavioural Presentations.	REX Workshop	1988	DBLP DOI BibTeX RDF	behavioural presentations, asynchronous automata, Parallelism, concurrency, transition systems, event structures
15	Xiuli Sun, Jinzhao Wu	Operational Semantics for Real-Time Processes with Action Refinement.	SEFM	2005	DBLP DOI BibTeX RDF
14	Silvia Crafa, Daniele Varacca, Nobuko Yoshida	Compositional Event Structure Semantics for the Internal pi -Calculus.	CONCUR	2007	DBLP DOI BibTeX RDF
14	Pierpaolo Degano, Rocco De Nicola, Ugo Montanari	Partial orderings descriptions and observations of nondeterministic concurrent processes.	REX Workshop	1988	DBLP DOI BibTeX RDF	LES, Concurrency, Nondeterminism, CCS, Communicating Processes, Observational Equivalence, Semantics of Programming Languages
12	John R. W. Glauert, Zurab Khasidashvili	Relative Normalization in Deterministic Residual Structures.	CAAP	1996	DBLP DOI BibTeX RDF
12	Xinyan Gao, Jinzhao Wu, Rui Qiao 0003, Jianfeng Chen	Theory framework for event structure slicing.	ISCC	2008	DBLP DOI BibTeX RDF
12	Arie Croitoru	Deriving and Mining Spatiotemporal Event Schemas in In-Situ Sensor Data.	ICCSA (1)	2008	DBLP DOI BibTeX RDF
12	Shi-Yong Neo, Yantao Zheng, Hai-Kiat Goh, Tat-Seng Chua, Sheng Tang	News Video Retrieval using Implicit Event Semantics.	ICME	2007	DBLP DOI BibTeX RDF
12	Frédéric Herbreteau, Grégoire Sutre, The Quang Tran	Unfolding Concurrent Well-Structured Transition Systems.	TACAS	2007	DBLP DOI BibTeX RDF
12	Roberto Bruni, Hernán C. Melgratti, Ugo Montanari	Event Structure Semantics for Nominal Calculi.	CONCUR	2006	DBLP DOI BibTeX RDF
12	Rafael Ramírez 0001, Andrew E. Santosa	Event Logic Programming.	PaCT	2001	DBLP DOI BibTeX RDF
12	Zurab Khasidashvili, John R. W. Glauert	Relating Conflict-Free Stable Transition and Event Models (Extended Abstract).	MFCS	1997	DBLP DOI BibTeX RDF
11	Toshiyuki Miyamoto, Marika Izawa	Conflict Reduction of Acyclic Flow Event Structures.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2023	DBLP DOI BibTeX RDF
11	Gershom Bazerman, Emilio Minichiello, Raymond Puzio	A Mathematical Model of Package Management Systems - from General Event Structures to Antimatroids.	CoRR	2023	DBLP DOI BibTeX RDF
11	Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna	A Reversible Perspective on Petri Nets and Event Structures.	CoRR	2023	DBLP DOI BibTeX RDF
11	Nataliya Gribovskaya, Irina B. Virbitskaite	Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures.	AFL	2023	DBLP DOI BibTeX RDF
11	Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna	Relating Reversible Petri Nets and Reversible Event Structures, categorically.	CoRR	2023	DBLP DOI BibTeX RDF
11	Heike Wehrheim, Lara Bargmann, Brijesh Dongol	Reasoning About Promises in Weak Memory Models with Event Structures.	FM	2023	DBLP DOI BibTeX RDF
11	Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna	Relating Reversible Petri Nets and Reversible Event Structures, Categorically.	FORTE	2023	DBLP DOI BibTeX RDF
11	Erica Cai, Brendan T. O'Connor 0001	Evaluating Zero-Shot Event Structures: Recommendations for Automatic Content Extraction (ACE) Annotations.	ACL (2)	2023	DBLP DOI BibTeX RDF
11	Paolo Baldan, Alessandra Raffaetà	Minimisation of event structures.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
11	Heike Wehrheim, Lara Bargmann, Brijesh Dongol	Reasoning about Promises in Weak Memory Models with Event Structures (Extended Version).	CoRR	2022	DBLP DOI BibTeX RDF
11	Hugo Paquet	Bi-invariance for Uniform Strategies on Event Structures.	MFPS	2022	DBLP DOI BibTeX RDF
11	Eva Graversen, Iain Phillips 0001, Nobuko Yoshida	Event structures for the reversible early internal π-calculus.	J. Log. Algebraic Methods Program.	2022	DBLP DOI BibTeX RDF
11	Paolo Baldan, Daniele Gorla, Tommaso Padoan, Ivano Salvo	Characterising spectra of equivalences for event structures, logically.	Inf. Comput.	2022	DBLP DOI BibTeX RDF
11	Gershom Bazerman	The Semantics of Package Management via Event Structures.	CoRR	2021	DBLP BibTeX RDF
11	G. Michele Pinna	A new operational representation of dependencies in Event Structures.	Log. Methods Comput. Sci.	2021	DBLP DOI BibTeX RDF
11	Daniele Gorla, Ivano Salvo	Conflict vs causality in event structures.	J. Log. Algebraic Methods Program.	2021	DBLP DOI BibTeX RDF
11	Paolo Baldan, Andrea Corradini 0001, Fabio Gadducci	Concurrent semantics for fusions: Weak prime domains and connected event structures.	Inf. Comput.	2021	DBLP DOI BibTeX RDF
11	Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna	A distributed operational view of Reversible Prime Event Structures.	LICS	2021	DBLP DOI BibTeX RDF
11	Evgenii Moiseenko, Anton Podkopaev, Ori Lahav 0001, Orestis Melkonian, Viktor Vafeiadis	Reconciling Event Structures with Modern Multiprocessors (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
11	Jérémie Chalopin, Victor Chepoi	A counterexample to Thiagarajan's conjecture on regular event structures.	J. Comput. Syst. Sci.	2020	DBLP DOI BibTeX RDF
11	Nargess Ghahremani, Julian C. Bradfield	On probabilistic stable event structures.	CoRR	2020	DBLP BibTeX RDF
11	Eva Graversen, Iain C. C. Phillips, Nobuko Yoshida	Event structures for the reversible early internal Pi-calculus.	CoRR	2020	DBLP BibTeX RDF
11	G. Michele Pinna	A new operational representation of dependencies in Event Structures.	CoRR	2020	DBLP BibTeX RDF
11	G. Michele Pinna	Representing Dependencies in Event Structures.	Log. Methods Comput. Sci.	2020	DBLP DOI BibTeX RDF
11	Marika Izawa, Toshiyuki Miyamoto	A Study on Re-Constructibility of Event Structures.	IEICE Trans. Inf. Syst.	2020	DBLP DOI BibTeX RDF
11	Hernán C. Melgratti, Claudio Antares Mezzina, Iain Phillips 0001, G. Michele Pinna, Irek Ulidowski	Reversible Occurrence Nets and Causal Reversible Prime Event Structures.	RC	2020	DBLP DOI BibTeX RDF
11	Eva Graversen, Iain Phillips 0001, Nobuko Yoshida	Event Structures for the Reversible Early Internal π-Calculus.	RC	2020	DBLP DOI BibTeX RDF
11	Evgenii Moiseenko, Anton Podkopaev, Ori Lahav 0001, Orestis Melkonian, Viktor Vafeiadis	Reconciling Event Structures with Modern Multiprocessors.	ECOOP	2020	DBLP DOI BibTeX RDF
11	G. Michele Pinna	Operational Representation of Dependencies in Context-Dependent Event Structures.	COORDINATION	2020	DBLP DOI BibTeX RDF
11	Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher	Language Inclusion for Finite Prime Event Structures.	VMCAI	2020	DBLP DOI BibTeX RDF