Search results for "interleaving semantics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Gianfranco Ciardo, Gerald Lüttgen, Andrew S. Miner	Exploiting interleaving semantics in symbolic state-space generation.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Symbolic state-space exploration, Decision diagrams, Kronecker algebra, Interleaving semantics
3	Hans-Jörg Kreowski, Sabine Kuske	Graph Transformation Units with Interleaving Semantics.	Formal Asp. Comput.	1999	DBLP DOI BibTeX RDF	Transformation unit, Formal methods, Structuring, Graph transformation, Interleaving semantics
2	Nadia Busi, Claudio Zandron	On the Computational Power of Genetic Gates with Interleaving Semantics: The Power of Inhibition and Degradation.	FCT	2007	DBLP DOI BibTeX RDF
2	Jens Knoop, Bernhard Steffen	Code Motion for Explicitly Parallel Programs.	PPOPP	1999	DBLP DOI BibTeX RDF	bitvector problems, code motion (partial redundancy elimination), synchronization, shared memory, data-flow analysis, code optimization, interleaving semantics
2	Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon	On the concurrent behaviour of SCR specifications. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	SCR specifications, concurrent behaviour, SCR method, tabular notations, Software Cost Reduction, mode transition tables, event tables, condition tables, real-time systems, finite state machines, finite state machine, requirements specification, state machines, timed transition systems, interleaving semantics
2	Jens Knoop, Bernhard Steffen, Jürgen Vollmer	Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	assignment motion, bitvector problems, definition-use chains, partial dead-code elimination, parallelism, synchronization, shared memory, data flow analysis, program optimization, code motion, strength reduction, interleaving semantics
1	Gérard Boudol, Gustavo Petri	Relaxed memory models: an operational approach.	POPL	2009	DBLP DOI BibTeX RDF	operational semantics, memory models
1	Peter Lammich, Markus Müller-Olm, Alexander Wenner	Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints.	CAV	2009	DBLP DOI BibTeX RDF
1	Julian Gutierrez, Julian C. Bradfield	Model-Checking Games for Fixpoint Logics with Partial Order Models.	CONCUR	2009	DBLP DOI BibTeX RDF	Model-checking games, Hintikka game semantics, Partial order models of concurrency, Process algebras, Modal and temporal logics
1	Frédéric Dabrowski, David Pichardie	A Certified Data Race Analysis for a Java-like Language.	TPHOLs	2009	DBLP DOI BibTeX RDF
1	Oana Agrigoroaiei, Gabriel Ciobanu	Non-interleaving Semantics with Causality for Nondeterministic Dataflow.	ICTAC	2008	DBLP DOI BibTeX RDF
1	Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He	Mapping Software Architecture Specification to Rewriting Logic (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	Software architecture specification, Petri net, rewriting logic, interleaving semantics
1	Rémi Morin	Semantics of Deterministic Shared-Memory Systems.	CONCUR	2008	DBLP DOI BibTeX RDF
1	Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko	Symbolic Step Encodings for Object Based Communicating State Machines.	FMOODS	2008	DBLP DOI BibTeX RDF
1	Malay K. Ganai, Aarti Gupta	Efficient Modeling of Concurrent Systems in BMC.	SPIN	2008	DBLP DOI BibTeX RDF
1	Giorgio Delzanno, Laurent Van Begin	A Biologically Inspired Model with Fusion and Clonation of Membranes.	UC	2008	DBLP DOI BibTeX RDF
1	Hon Fung Li, Eslam Al Maghayreh	Checking Distributed Programs with Partially Ordered Atoms.	APSEC	2007	DBLP DOI BibTeX RDF
1	Xiaofang Chen, Steven M. German, Ganesh Gopalakrishnan	Transaction Based Modeling and Verification of Hardware Protocols.	FMCAD	2007	DBLP DOI BibTeX RDF
1	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
1	Christie Marr	Capturing Conflict and Confusion in CSP.	IFM	2007	DBLP DOI BibTeX RDF	Interleaving Concurrency, Petri Nets, CSP, Conflict, Automatic Verification, True Concurrency, Confusion
1	Mangala Gowri Nanda, S. Ramesh	Interprocedural slicing of multithreaded programs with applications to Java.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	interference dependence, strongly connected regions, Multithreading, program slicing, data dependence, context-sensitivity
1	Roberto Bruni, Hernán C. Melgratti	Non-sequential Behaviour of Dynamic Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
1	Gérard Boudol	Shared-Variable Concurrency: A Proposal.	FSTTCS	2006	DBLP DOI BibTeX RDF
1	Peter Niebert, Doron Peled	Efficient Model Checking for LTL with Partial Order Snapshots.	TACAS	2006	DBLP DOI BibTeX RDF
1	Xiuli Sun, Jinzhao Wu	Operational Semantics for Real-Time Processes with Action Refinement.	SEFM	2005	DBLP DOI BibTeX RDF
1	Dirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg	Main Concepts of Networks of Transformation Units with Interlinking Semantics.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
1	Christie Bolton	Adding Conflict and Confusion to CSP.	FM	2005	DBLP DOI BibTeX RDF
1	Nadia Busi	On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism.	Workshop on Membrane Computing	2005	DBLP DOI BibTeX RDF
1	Paul-André Melliès	Asynchronous Games 2: The True Concurrency of Innocence.	CONCUR	2004	DBLP DOI BibTeX RDF
1	Pierpaolo Degano, Fabio Gadducci, Corrado Priami	Causality and Replication in Concurrent Processes.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
1	Mario Bravetti, Roberto Gorrieri	Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	ST bisimulation, noninterleaving semantics, process algebra, axiomatization, Action refinement
1	Werner Damm, Bernhard Josko, Amir Pnueli, Angelika Votintseva	Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML.	FMCO	2002	DBLP DOI BibTeX RDF
1	Gregor von Bochmann	Submodule Construction for Specifications with Input Assumptions and Output Guarantees.	FORTE	2002	DBLP DOI BibTeX RDF
1	Marta Pietkiewicz-Koutny	Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems.	ACSD	2001	DBLP DOI BibTeX RDF	causality/partial order theory of concurrency, structure and behaviour of nets, analysis and synthesis, theory of regions
1	Benedikt Bollig, Martin Leucker	Deciding LTL over Mazurkiewicz Traces. (PDF / PS)	TIME	2001	DBLP DOI BibTeX RDF
1	Keijo Heljanko	Bounded Reachability Checking with Process Semantics.	CONCUR	2001	DBLP DOI BibTeX RDF
1	Pierre Metz, John O'Brien, Wolfgang Weber	Against Use Case Interleaving.	UML	2001	DBLP DOI BibTeX RDF
1	Mangala Gowri Nanda, S. Ramesh	Slicing concurrent programs.	ISSTA	2000	DBLP DOI BibTeX RDF	Static program slicing, concurrency, data dependence
1	John A. Trono	Comments on "Tagged Semaphores".	Operating Systems Review	2000	DBLP DOI BibTeX RDF
1	Gian Luca Cattani, Peter Sewell	Models for Name-Passing Processes: Interleaving and Causal.	LICS	2000	DBLP DOI BibTeX RDF
1	Joost-Pieter Katoen, Pedro R. D'Argenio	General Distributions in Process Algebra.	European Educational Forum: School on Formal Methods and Performance Analysis	2000	DBLP DOI BibTeX RDF
1	Pierpaolo Degano, Corrado Priami	Non-Interleaving Semantics for Mobile Processes.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
1	Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen	Causality for Debugging Mobile Agents.	Acta Inf.	1999	DBLP DOI BibTeX RDF
1	Lutz Priese, Harro Wimmel	A Uniform Approach to True-Concurrency and Interleaving Semantics for Petri Nets.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
1	J. Condom, K. Ouriachi	Contribution to the Specification in Z of Concurrency under a Non-Interleaving Semantics. (PDF / PS)	PDSE	1998	DBLP DOI BibTeX RDF
1	Howard Bowman, Joost-Pieter Katoen	A True Concurrency Semantics for ET-LOTOS.	ACSD	1998	DBLP DOI BibTeX RDF
1	Chiara Bodei, Pierpaolo Degano, Corrado Priami	Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation.	SAS	1998	DBLP DOI BibTeX RDF	SOS semantics, non-interleaving descriptions, Concurrency, abstract interpretation, causality
1	Michele Boreale, Davide Sangiorgi	A Fully Abstract Semantics for Causality in the \pi-Calculus.	Acta Inf.	1998	DBLP DOI BibTeX RDF
1	Marta Pietkiewicz-Koutny	Transition Systems of Elementary Net Systems with Inhibitor Arcs.	ICATPN	1997	DBLP DOI BibTeX RDF	causality/partial order theory of concurrency, structure and behaviour of nets, analysis and synthesis
1	Davide Sangiorgi	Locality and Interleaving Semantics in Calculi for Mobile Processes.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
1	Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen	Understanding Mobile Agents via a Non-Interleaving Semantics for Facile.	SAS	1996	DBLP DOI BibTeX RDF
1	Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat	Truly Concurrent Constraint Programming.	CONCUR	1996	DBLP DOI BibTeX RDF
1	Doron Peled, Thomas Wilke, Pierre Wolper	An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages.	CONCUR	1996	DBLP DOI BibTeX RDF
1	Jens Knoop	Partial Dead Code Elimination for Parallel Programs.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
1	Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen	Analysis of Facile Programs: A Case Study.	LOMAPS	1996	DBLP DOI BibTeX RDF
1	Javier Esparza, Astrid Kiehn	On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes.	CAV	1995	DBLP DOI BibTeX RDF
1	Nadia Busi, Roberto Gorrieri	A Petri Net Semantics for pi-Calculus.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Michele Boreale, Davide Sangiorgi	A Fully Abstract Semantics for Causality in the Pi-Calculus.	STACS	1995	DBLP DOI BibTeX RDF
1	Charles Lakos, Søren Christensen	A General Systematic Approach to Arc Extensions for Coloured Petri Nets.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
1	Rob J. van Glabbeek	A Complete Axiomatization for Branching Bisimulation Congruence of Finite-State Behaviours.	MFCS	1993	DBLP DOI BibTeX RDF
1	Nikolay A. Anisimov	A Disabling of Event Structures.	PARLE	1993	DBLP DOI BibTeX RDF
1	Yosi Ben-Asher, Gudula Rünger, Assaf Schuster, Reinhard Wilhelm	2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor Networks.	PARLE	1993	DBLP DOI BibTeX RDF	operational semantics, parallel language
1	Rom Langerak	Bundle event structures: a non-interleaving semantics for LOTOS.	FORTE	1992	DBLP BibTeX RDF
1	Ingo Czaja, Rob J. van Glabbeek, Ursula Goltz	Interleaving semantics and action refinement with atomic choice.	Advances in Petri Nets: The DEMON Project	1992	DBLP DOI BibTeX RDF
1	Doron Peled	Sometimes 'Some' is as Good as 'All'.	CONCUR	1992	DBLP DOI BibTeX RDF
1	Gian Luigi Ferrari, Ugo Montanari	The Observation Algebra of Spatial Pomsets.	CONCUR	1991	DBLP DOI BibTeX RDF
1	Oscar Nierstrasz	Two models of concurrent objects.	SIGPLAN Notices	1989	DBLP DOI BibTeX RDF
1	A. Bourguet-Rouger	External Behaviour Equivalence between two Petri Nets.	Concurrency	1988	DBLP DOI BibTeX RDF
1	Ursula Goltz	On Representing CCS Programs by Finite Petri Nets.	MFCS	1988	DBLP DOI BibTeX RDF
1	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
1	M. W. Shields	Behavioural Presentations.	REX Workshop	1988	DBLP DOI BibTeX RDF	behavioural presentations, asynchronous automata, Parallelism, concurrency, transition systems, event structures
1	Rob J. van Glabbeek, Frits W. Vaandrager	Petri Net Models for Algebraic Theories of Concurrency.	PARLE	1987	DBLP DOI BibTeX RDF
1	Wolfgang Reisig	Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness.	ICALP	1984	DBLP DOI BibTeX RDF
1	Ursula Goltz, Wolfgang Reisig	CSP-programs with individual tokens.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF
1	Krzysztof R. Apt, Ernst-Rüdiger Olderog	Transformations Realizing Fairness Assumptions for Parallel Programs.	STACS	1984	DBLP DOI BibTeX RDF