Search results for "pomset"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
115	Joan Feigenbaum, Jeremy A. Kahn, Carsten Lund	Complexity Results for POMSET Languages.	CAV	1991	DBLP DOI BibTeX RDF
70	Thomas Gazagnaire, Loïc Hélouët	Event Correlation with Boxed Pomsets.	FORTE	2007	DBLP DOI BibTeX RDF
62	Harro Wimmel, Lutz Priese	Algebraic Characterization of Petri Net Pomset Semantics.	CONCUR	1997	DBLP DOI BibTeX RDF
62	Irene Schena	Pomset Logic and Variants in Natural Languages.	LACL	1996	DBLP DOI BibTeX RDF
54	Mouhamadou Tafsir Sakho	r-Pomset pour la modélisation et la vérification de systèmes parallèles. (r-Pomset for modelling and verifying parallel systems).		2014	RDF
47	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
45	Carmelo Del Valle, Miguel Toro, Rafael Ceballos, Jesús S. Aguilar-Ruiz	A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning.	IBERAMIA	2002	DBLP DOI BibTeX RDF
35	Jianmin Jiang, Jinzhao Wu	Symmetry and Autobisimulation.	PDCAT	2005	DBLP DOI BibTeX RDF	autobisimulation, Symmetry, event structures
35	Stephen D. Brookes	Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes.	CONCUR	2002	DBLP DOI BibTeX RDF
35	Dietrich Kuske	Recognizable Sets of N-Free Pomsets Are Monadically Axiomatizable.	Developments in Language Theory	2001	DBLP DOI BibTeX RDF
35	Ursula Goltz, Ruurd Kuiper 0001, Wojciech Penczek	Propositional Temporal Logics and Equivalences.	CONCUR	1992	DBLP DOI BibTeX RDF
35	Luca Aceto, Uffe Engberg	Failures Semantics for a Simple Process Language with Refinement.	FSTTCS	1991	DBLP DOI BibTeX RDF
29	Christophe Sibertin-Blanc, Nabil Hameurlain, Omar Tahir	Ambiguity and structural properties of basic sequence diagrams.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Pomset (partial order), Ambiguity, Formal semantics, Structural property, UML sequence diagrams
29	Alessio Guglielmi	A system of interaction and structure.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	mix rule, noncommutativity, pomset logic, symmetry, linear logic, cut elimination, self-duality, deep inference, Calculus of structures
29	Haim Gaifman	Modeling concurrency by partial orders and nonlinear transition systems.	REX Workshop	1988	DBLP DOI BibTeX RDF	pomset, causal precedence, concurrent, computation, process, event, deadlock, partial order, action, state, transition system, automaton, shared resource, dining philosophers, simultaneous
27	Wen Ma, Jinquan Luo	Block codes in pomset metric over ${\mathbb {Z}}_m$.	Des. Codes Cryptogr.	2023	DBLP DOI BibTeX RDF
27	Wen Ma, Jinquan Luo	Block Codes in Pomset Metric over ℤm.	CoRR	2023	DBLP DOI BibTeX RDF
27	Lê Thành Dung Nguyên, Lutz Straßburger	A System of Interaction and Structure III: The Complexity of BV and Pomset Logic.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
27	Atul Kumar Shriwastva, R. S. Selvaraj	MDS and I-Perfect Codes in Pomset block Metric.	CoRR	2022	DBLP DOI BibTeX RDF
27	Lê Thành Dung Nguyên, Lutz Straßburger	A System of Interaction and Structure III: The Complexity of BV and Pomset Logic.	CoRR	2022	DBLP DOI BibTeX RDF
27	Atul Kumar Shriwastva, R. S. Selvaraj	Block Codes on Pomset Metric.	CoRR	2022	DBLP DOI BibTeX RDF
27	Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier Henri Roux	Pomset bisimulation and unfolding for reset Petri nets.	Inf. Comput.	2022	DBLP DOI BibTeX RDF
27	Lê Thành Dung Nguyên, Lutz Straßburger	BV and Pomset Logic Are Not the Same.	CSL	2022	DBLP DOI BibTeX RDF
27	Irrinki Gnana Sudha, R. S. Selvaraj	MDS and I-Perfect Codes in Pomset Metric.	IEEE Trans. Inf. Theory	2021	DBLP DOI BibTeX RDF
27	Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Alexandra Silva 0001	Learning Pomset Automata.	CoRR	2021	DBLP BibTeX RDF
27	Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Alexandra Silva 0001	Learning Pomset Automata.	FoSSaCS	2021	DBLP DOI BibTeX RDF
27	Nicolas Bedon	Branching Automata and Pomset Automata.	FSTTCS	2021	DBLP DOI BibTeX RDF
27	Christian Retoré	Pomset logic: a logical and grammatical alternative to the Lambek calculus.	CoRR	2020	DBLP BibTeX RDF
27	Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva 0001, Fabio Zanasi	On series-parallel pomset languages: Rationality, context-freeness and automata.	J. Log. Algebraic Methods Program.	2019	DBLP DOI BibTeX RDF
27	Irrinki Gnana Sudha, R. S. Selvaraj	Codes with a pomset metric and constructions.	Des. Codes Cryptogr.	2018	DBLP DOI BibTeX RDF
27	Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva 0001, Fabio Zanasi	On Series-Parallel Pomset Languages: Rationality, Context-Freeness and Automata.	CoRR	2018	DBLP BibTeX RDF
27	Michael R. Laurence, Georg Struth	Completeness Theorems for Pomset Languages and Concurrent Kleene Algebras.	CoRR	2017	DBLP BibTeX RDF
27	Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva 0001, Fabio Zanasi	Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages.	CoRR	2017	DBLP BibTeX RDF
27	Clemens Dubslaff, Christel Baier	Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs.	ModelEd, TestEd, TrustEd	2017	DBLP DOI BibTeX RDF
27	Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva 0001, Fabio Zanasi	Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages.	CONCUR	2017	DBLP DOI BibTeX RDF
27	Alexandra Silva 0001	Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages (Invited Talk).	FSCD	2017	DBLP DOI BibTeX RDF
27	Michael R. Laurence, Georg Struth	Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages.	RAMiCS	2014	DBLP DOI BibTeX RDF
27	Yongxin Zhao, Xu Wang 0001, Huibiao Zhu	Towards a Pomset Semantics for a Shared-Variable Parallel Language.	UTP	2010	DBLP DOI BibTeX RDF
27	Jean Fanchon, Rémi Morin	Pomset Languages of Finite Step Transition Systems.	Petri Nets	2009	DBLP DOI BibTeX RDF
27	Michael Pan	Pomset mcfgs.	IWPT	2007	DBLP BibTeX RDF
27	Eike Best, Harro Wimmel	Reducing k -Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets.	ICATPN	2000	DBLP BibTeX RDF
27	Christian Retoré	Pomset Logic: A Non-commutative Extension of Classical Linear Logic.	TLCA	1997	DBLP DOI BibTeX RDF
27	Douglas R. Troeger	Step Bisimulation is Pomset Equivalence on a Parallel Language Without Explicit Internal Choice.	Math. Struct. Comput. Sci.	1993	DBLP DOI BibTeX RDF
27	Joan Feigenbaum, Jeremy A. Kahn, Carsten Lund	Complexity Results for Pomset Languages.	SIAM J. Discret. Math.	1993	DBLP DOI BibTeX RDF
27	Steffen Lempp, Manuel Lerman	The Existential Theory of the Pomset of r.e. Degrees with a Predicate for Single Jump Reducibility.	J. Symb. Log.	1992	DBLP DOI BibTeX RDF
27	J. W. de Bakker, J. H. A. Warmerdam	Metric Pomset Semantics for a Concurrnt Language with Recursion.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF	pomsets, metric topology, operational semantics, denotational semantics, true concurrency, proof rule
27	John-Jules Ch. Meyer, Erik P. de Vink	Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract).	MFCS	1989	DBLP DOI BibTeX RDF
27	Alexander Moshe Rabinovich	Pomset semantics is consistenct with data flow semantics.	Bull. EATCS	1987	DBLP BibTeX RDF
27	Paul Hudak, Steven Anderson	Pomset interpretations of parallel functional programs.	FPCA	1987	DBLP DOI BibTeX RDF
27	Vaughan R. Pratt	The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
17	Hon Fung Li, Eslam Al Maghayreh	Checking Distributed Programs with Partially Ordered Atoms.	APSEC	2007	DBLP DOI BibTeX RDF
17	Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue	Refinement of actions for real-time concurrent systems with causal ambiguity.	Acta Informatica	2006	DBLP DOI BibTeX RDF	Causal ambiguity, Timed bundle event structure with causal ambiguity, Concurrency, Action refinement
17	Jianmin Jiang, Jinzhao Wu, Donghuo Chen	Symmetry in event structures.	SAC	2006	DBLP DOI BibTeX RDF	symmetry, equivalences, event structures
17	Bastian Dölle	Transforming Linear Terms of Algebraic Specifications Into Extended Pomsets.	SNPD	2006	DBLP DOI BibTeX RDF
17	Guang-Ping Qin, Jin-Zhao Wu	Action Refinement for Real-Time Concurrent Processes with Urgency.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	timed event, real-time process algebra, structure, action refinement, urgency
17	Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue, Naijun Zhan	Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity.	ICFEM	2004	DBLP DOI BibTeX RDF	causal ambiguity, timed event structure with causal ambiguity, Concurrency, action refinement
17	Harro Wimmel	Eliminating Internal Behaviour in Petri Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
17	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
17	Mila E. Majster-Cederbaum, Jinzhao Wu	Towards action refinement for true concurrent real time.	Acta Informatica	2003	DBLP DOI BibTeX RDF
17	Mila E. Majster-Cederbaum, Jinzhao Wu	Adding Action Refinement to Stochastic True Concurrency Models.	ICFEM	2003	DBLP DOI BibTeX RDF
17	Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu	Action Refinement for Probabilistic Processes with True Concurrency Models.	PAPM-PROBMIV	2002	DBLP DOI BibTeX RDF
17	Jean Fanchon, Rémi Morin	Regular Sets of Pomsets with Autoconcurrency.	CONCUR	2002	DBLP DOI BibTeX RDF
17	Mila E. Majster-Cederbaum, Jinzhao Wu	Action Refinement for True Concurrent Real Time.	ICECCS	2001	DBLP DOI BibTeX RDF	timed event structure, timed process algebra, action refinement, true concurrency
17	Guang R. Gao, Vivek Sarkar	Location Consistency-A New Memory Model and Cache Consistency Protocol.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	location consistency, cache consistency protocols, Memory consistency
17	Dietrich Kuske, Rémi Morin	Pomsets for Local Trace Languages - Recognizability, Logic & Petri Nets.	CONCUR	2000	DBLP DOI BibTeX RDF
17	Vashti Galpin	Comparison of Process Algebra Equivalences Using Formats.	ICALP	1999	DBLP DOI BibTeX RDF
17	Sylvain Pogodalla	Lexicalized Proof-Nets and TAGs.	LACL	1998	DBLP DOI BibTeX RDF
17	Manfred Droste, Paul Gastin	Asynchronous Cellular Automata for Pomsets Without Auto-concurrency.	CONCUR	1996	DBLP DOI BibTeX RDF
17	Stéphane Grumbach, Tova Milo	An Algebra for Pomsets.	ICDT	1995	DBLP DOI BibTeX RDF
17	Uri Abraham	On system executions and states.	Appl. Intell.	1993	DBLP DOI BibTeX RDF	Correctness of programs, system execution, cores of executions, global time, semantics of concurrency
17	Lalita Jategaonkar, Albert R. Meyer	Deciding True Concurrency Equivalences on Finite Sate Nets (Preliminary Report).	ICALP	1993	DBLP DOI BibTeX RDF
17	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
17	Lalita Jategaonkar, Albert R. Meyer	Testing Equivalence for Petri Nets with Action Refinement: Preliminary Report.	CONCUR	1992	DBLP DOI BibTeX RDF
17	Luca Aceto	Full Abstraction for Series-Parallel Pomsets.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
17	Luca Aceto	On Relating Concurency and Nondeterminism.	MFPS	1991	DBLP DOI BibTeX RDF
17	Walter Vogler	Bisimulation and Action Refinement.	STACS	1991	DBLP DOI BibTeX RDF