Search results for "Concurrency-theory"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
44	Mario Tokoro, Kohei Honda 0001	The Computational Field Model for Open Distributed Environments.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
42	Luca Aceto, David Murphy	On the Ill-Timed but Well-Caused.	CONCUR	1993	DBLP DOI BibTeX RDF
37	Akinori Yonezawa, Takayasu Ito (eds.)	Concurrency: Theory, Language, And Architecture, UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings	Concurrency: Theory, Language, And Architecture	1991	DBLP DOI BibTeX RDF
37	Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter	Using the Temporal Logic RDL for Design Specifications.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
37	D. L. McBurney, M. Ronan Sleep	Graph Rewriting as a Computational Model.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
37	Etsuya Shibayama	Reuse of Concurrent Object Descriptions.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
37	Makoto Amamiya, Rin-Ichiro Taniguchi	An Ultra-Multiprocessing Machine Architecture for Efficient Parallel Execution of Functional Languages.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF	Keyword Functional language, Massively parallel machine architecture, Dataflow analysis, Multiprocessing, Dataflow machine
37	Joseph A. Goguen	Semantic Specifications for the Rewrite Rule Machine.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
37	Yuuji Ichisugi, Akinori Yonezawa	Exception Handling and Real Time Features in an Object-Oriented Concurrent Language.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
37	Norihiko Yoshida	Transformational Derivation of Systolic Arrays.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
37	Takayasu Ito	Logic of Execution: An Outline.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
37	Akikazu Takeuchi, Kazuko Takahashi	An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
37	Colin Stirling	An Introduction to Modal and Temporal Logics for CCS.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
37	David Walker 0002	Some Results on the pi-Calculus.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
37	George M. Reed, A. W. Roscoe 0001	Analysing TMFS: a Study of Nondeterminism in Real-Time Concurrency.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
37	Kaoru Hosokawa, Hiroaki Nakamura, Tsutomu Kamimura	Concurrent Programming in COB.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
37	Hiroto Yasuura	Locally Computable Coding for Unary Operations.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
37	Jeff W. Sanders	A Hierarchical Approach to Hardware Design.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
37	Taiichi Yuasa	Premature Return - Another Interpretation of the Future Construct.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
37	Hidehiko Tanaka	A Parallel Object Oriented Language FLENG++ and Its Control System on the Parallel Machine PIE64.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
29	Alexandra Silva 0001	Applications of Automata and Concurrency Theory in Networks (Invited Paper).	CONCUR	2015	DBLP DOI BibTeX RDF
29	Hubert Garavel	Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular.	LIX	2006	DBLP DOI BibTeX RDF
29	Steve A. Schneider	Process Algebra and Security.	CONCUR	2001	DBLP DOI BibTeX RDF
28	Olaf Kummer, Mark-Oliver Stehr	Petri's Axioms of Concurrency- A Selection of Recent Results.	ICATPN	1997	DBLP DOI BibTeX RDF	Topics Axiomatic theory of concurrency/causality
27	Paul-André Melliès	Asynchronous Games 2: The True Concurrency of Innocence.	CONCUR	2004	DBLP DOI BibTeX RDF
27	Doron A. Peled, Thomas Wilke, Pierre Wolper	An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages.	CONCUR	1996	DBLP DOI BibTeX RDF
27	Bent Thomsen, Lone Leth Thomsen, Tsung-Min Kuo	A Facile Tutorial.	CONCUR	1996	DBLP DOI BibTeX RDF
23	Prakash Panangaden	Knowledge and Information in Probabilistic Systems.	CONCUR	2008	DBLP DOI BibTeX RDF
23	Gian-Luigi Ferrari 0002, Ugo Montanari	The Observation Algebra of Spatial Pomsets.	CONCUR	1991	DBLP DOI BibTeX RDF
23	Jian Zhang 0001, Wenhui Zhang, Naijun Zhan, Yi-Dong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang, Xueyang Zhu	Basic research in computer science and software engineering at SKLCS.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	human-computer interaction, real-time system, parallel algorithms, middleware, formal specification, computer graphics, software process, automated reasoning, concurrency theory
22	Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jirí Srba	Teaching Concurrency: Theory in Practice.	TFM	2009	DBLP DOI BibTeX RDF
22	Roberto Gorrieri	Ugo Montanari and Concurrency Theory.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
22	Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine	Rule-Based Modelling of Cellular Signalling.	CONCUR	2007	DBLP DOI BibTeX RDF
22	Andrew D. Gordon 0001	Types for Cryptographic Protocols.	CONCUR	2002	DBLP DOI BibTeX RDF
22	Holger Hermanns, Joost-Pieter Katoen	Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains.	CONCUR	2001	DBLP DOI BibTeX RDF
22	Peter Sewell	On Implementations and Semantics of a Concurrent Programming Language.	CONCUR	1997	DBLP DOI BibTeX RDF
22	Faron Moller	Infinite Results.	CONCUR	1996	DBLP DOI BibTeX RDF
19	Johannes Åman Pohjola	Culling Concurrency Theory : Reusable and trustworthy meta-theory, proof techniques and separation results.		2016	RDF
18	Davide Sangiorgi	The Bisimulation Proof Method: Enhancements and Open Problems.	FMOODS	2006	DBLP DOI BibTeX RDF
18	Mark-Oliver Stehr	Thinking in Cycles.	ICATPN	1998	DBLP DOI BibTeX RDF	synchronization graphs, concurrency, causality, cyclic orders
16	Eric Goubault, Emmanuel Haucourt	Components of the Fundamental Category II.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18A20, 18A22, 18A32, 18A40
15	Ilaria Castellani, Pedro R. D'Argenio, Mohammad Reza Mousavi 0001, Ana Sokolova	Preface to the special issue on Open Problems in Concurrency Theory.	J. Log. Algebraic Methods Program.	2023	DBLP DOI BibTeX RDF
15	Guillermo A. Pérez 0001, Jean-François Raskin (eds.)	34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium	CONCUR	2023	DBLP BibTeX RDF
15	Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa	Hypernode Automata.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Guy Avni, Pranav Ghorpade, Shibashis Guha	A Game of Pawns.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya	Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Alain Finkel, Serge Haddad, Lina Ye	About Decisiveness of Dynamic Probabilistic Models.	CONCUR	2023	DBLP DOI BibTeX RDF
15		Front Matter, Table of Contents, Preface, Conference Organization.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Bengt Jonsson 0001, Marta Kwiatkowska, Igor Walukiewicz	CONCUR Test-Of-Time Award 2023 (Invited Paper).	CONCUR	2023	DBLP DOI BibTeX RDF
15	P. H. M. van Spaendonck, Tim A. C. Willemse	The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Sven Schewe, Qiyi Tang 0001, Tansholpan Zhanabekova	Deciding What Is Good-For-MDPs.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Sougata Bose, David Purser, Patrick Totzke	History-Deterministic Vector Addition Systems.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Roland Guttenberg, Mikhail A. Raskin, Javier Esparza	Geometry of Reachability Sets of Vector Addition Systems.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy	Quantitative Verification with Neural Networks.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Corto Mascle, Anca Muscholl, Igor Walukiewicz	Model-Checking Parametric Lock-Sharing Systems Against Regular Constraints.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Pascal Baumann 0001, Khushraj Madnani, Filip Mazowiecki, Georg Zetzsche	Monus Semantics in Vector Addition Systems with States.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Clément Bertrand, Cinzia Di Giusto, Hanna Klaudel, Damien Regnault	Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Ashwani Anand, Georg Zetzsche	Priority Downward Closures.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Orna Kupferman, Noam Shenwald	Games with Trading of Control.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Gil Silva 0002, Andreia Mordido, Vasco T. Vasconcelos	Subtyping Context-Free Session Types.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Yong Li 0031, Sven Schewe, Moshe Y. Vardi	Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Eren Keskin, Roland Meyer 0001	Separability and Non-Determinizability of WSTS.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Jesús Domínguez, Aleksandar Nanevski	Visibility and Separability for a Declarative Linearizability Proof of the Timestamped Stack.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder	Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Anna Schmitt 0002, Kirstin Peters	Probabilistic Operational Correspondence.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Hagit Attiya, Constantin Enea, Shafik Nassar	Faithful Simulation of Randomized BFT Protocols on Block DAGs.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Christoph Haase, Radoslaw Piórkowski	Universal Quantification Makes Automatic Structures Hard to Decide.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Azalea Raad, Julien Vanegue, Josh Berdine, Peter W. O'Hearn	A General Approach to Under-Approximate Reasoning About Concurrent Programs.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Enzo Erlich, Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann 0002	History-Deterministic Parikh Automata.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Stéphane Demri, Karin Quaas	Constraint Automata on Infinite Data Trees: from CTL(ℤ)/ CTL^*}(ℤ) to Decision Procedures.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Myrthe S. C. Spronck, Bas Luttik	Process-Algebraic Models of Multi-Writer Multi-Reader Non-Atomic Registers.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Michal Ajdarów, Antonín Kucera 0001	Asymptotic Complexity Estimates for Probabilistic Programs and Their VASS Abstractions.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Radu Iosif, Florian Zuleger	Expressiveness Results for an Inductive Logic of Separated Relations.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Tiange Liu, Alwen Tiu, Jim de Groot	Modal Logics for Mobile Processes Revisited.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Omri Isac, Yoni Zohar, Clark W. Barrett, Guy Katz	DNN Verification, Reachability, and the Exponential Function Problem.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Jakub Michaliszyn, Jan Otop, Piotr Wieczorek	Reachability and Bounded Emptiness Problems of Constraint Automata with Prefix, Suffix and Infix.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Åsmund Aqissiaq Arild Kløvstad, Eduard Kamburjan, Einar Broch Johnsen	Compositional Correctness and Completeness for Symbolic Partial Order Reduction.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç	Safety and Liveness of Quantitative Automata.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Petr Jancar, Jérôme Leroux	The Semilinear Home-Space Problem Is Ackermann-Complete for Petri Nets.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Ahmed Bouajjani	On Verifying Concurrent Programs Under Weakly Consistent Models (Invited Talk).	CONCUR	2023	DBLP DOI BibTeX RDF
15	Jan Friso Groote, Tim A. C. Willemse	Real Equation Systems with Alternating Fixed-Points.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Ugo Dal Lago, Maurizio Murgia 0001	Contextual Behavioural Metrics.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Jan Martens 0001, Jan Friso Groote	Computing Minimal Distinguishing Hennessy-Milner Formulas is NP-Hard, but Variants are Tractable.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Bartek Klin, Slawomir Lasota 0001, Anca Muscholl (eds.)	33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland.	CONCUR	2022	DBLP BibTeX RDF
15	Christel Baier, Florian Funke 0002, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell 0001	Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications.	CONCUR	2022	DBLP DOI BibTeX RDF
15	Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove	Half-Positional Objectives Recognized by Deterministic Büchi Automata.	CONCUR	2022	DBLP DOI BibTeX RDF
15	Jiarui Gan, Rupak Majumdar, Goran Radanovic, Adish Singla	Sequential Decision Making With Information Asymmetry (Invited Talk).	CONCUR	2022	DBLP DOI BibTeX RDF
15	Wojciech Czerwinski, Piotr Hofman	Language Inclusion for Boundedly-Ambiguous Vector Addition Systems Is Decidable.	CONCUR	2022	DBLP DOI BibTeX RDF
15	Javier Esparza, Mikhail A. Raskin, Christoph Welzel	Regular Model Checking Upside-Down: An Invariant-Based Approach.	CONCUR	2022	DBLP DOI BibTeX RDF
15	Marius Bozga, Lucas Bueri, Radu Iosif	On an Invariance Problem for Parameterized Concurrent Systems.	CONCUR	2022	DBLP DOI BibTeX RDF
15	Ugo Dal Lago, Giulia Giusti	On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments.	CONCUR	2022	DBLP DOI BibTeX RDF
15	Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger	Anytime Guarantees for Reachability in Uncountable Markov Decision Processes.	CONCUR	2022	DBLP DOI BibTeX RDF
15	Véronique Bruyère, Jean-François Raskin, Clément Tamines	Pareto-Rational Verification.	CONCUR	2022	DBLP DOI BibTeX RDF
15	Sergio Rajsbaum	Distributed Decision Problems: Concurrent Specifications Beyond Binary Relations (Invited Talk).	CONCUR	2022	DBLP DOI BibTeX RDF
15	Ilaria Castellani, Paul Gastin, Orna Kupferman, Mickael Randour, Davide Sangiorgi	CONCUR Test-Of-Time Award 2022 (Invited Paper).	CONCUR	2022	DBLP DOI BibTeX RDF
15	Damien Pous, Jana Wagemaker	Completeness Theorems for Kleene Algebra with Top.	CONCUR	2022	DBLP DOI BibTeX RDF
15	Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik	On the Axiomatisation of Branching Bisimulation Congruence over CCS.	CONCUR	2022	DBLP DOI BibTeX RDF
15	Oscar Darwin, Stefan Kiefer	On the Sequential Probability Ratio Test in Hidden Markov Models.	CONCUR	2022	DBLP DOI BibTeX RDF
15	Ira Fesefeldt, Joost-Pieter Katoen, Thomas Noll 0001	Towards Concurrent Quantitative Separation Logic.	CONCUR	2022	DBLP DOI BibTeX RDF
15	Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim	Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement.	CONCUR	2022	DBLP DOI BibTeX RDF