The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase branching-time (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1980-1985 (17) 1986-1988 (32) 1989-1990 (18) 1991-1992 (15) 1993-1994 (16) 1995-1996 (22) 1997-1998 (20) 1999-2000 (29) 2001 (23) 2002 (22) 2003 (26) 2004 (17) 2005 (27) 2006 (27) 2007 (25) 2008 (18) 2009 (23) 2010-2012 (24) 2013-2014 (20) 2015-2018 (18) 2019-2020 (16) 2021-2022 (21) 2023-2024 (7)
Publication types (Num. hits)
article(149) incollection(2) inproceedings(324) phdthesis(7) proceedings(1)
Venues (Conferences, Journals, ...)
REX Workshop(25) CONCUR(22) CoRR(22) LICS(18) CAV(17) Theor. Comput. Sci.(14) TIME(13) TACAS(11) Acta Informatica(10) ICALP(9) POPL(9) Stud Logica(7) ATVA(6) FSTTCS(6) FoSSaCS(5) J. Comput. Syst. Sci.(5) More (+10 of total 192)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 304 occurrences of 161 keywords

Results
Found 483 publication records. Showing 483 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
117E. Allen Emerson, Joseph Y. Halpern "Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time. Search on Bibsonomy POPL The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
97Rob J. van Glabbeek, W. P. Weijland Branching Time and Abstraction in Bisimulation Semantics. Search on Bibsonomy J. ACM The full citation details ... 1996 DBLP  DOI  BibTeX  RDF process algebra semantic equivalence, concurrency, abstraction, bisimulation, action refinement, branching time
87E. Allen Emerson, Jai Srinivasan Branching time temporal logic. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis
75Alberto Del Bimbo, Luigi Rella, Enrico Vicario Visual Specification of Branching Time Temporal Logic. Search on Bibsonomy VL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF branching time temporal logic, ordering relationships, visual shell, recursive syntax, mathematical notation, recursive visualization rules, generative approach, generic textual formula visualisation, 3D virtual space, branching time formulae, complex formulae, formal specification, parallel processing, parallelism, temporal logic, specification languages, visual languages, visual language, data visualisation, graphic representation, nesting, descriptive language, visual specification, time-varying systems, time-varying systems, execution sequencing
67Edmund M. Clarke, I. A. Draghicescu Expressibility results for linear-time and branching-time logics. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF linear-time logic, temporal logic, fairness, computation tree logics, branching-time logic
64Nuel Belnap Norms in Branching Space-Times. Search on Bibsonomy DEON The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
55Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith State/Event Software Verification for Branching-Time Specifications. Search on Bibsonomy IFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Concurrent Software Model Checking, State/Event-based Verification, Branching-time Temporal Logic, Automated Abstraction Refinement
55Vladimir V. Rybakov Branching Time Logics BTLU, SN, N-1(Z)a with Operations Until and Since Based on Bundles of Integer Numbers, Logical Consecutions, Deciding Algorithms. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Logical consecutions, Admissible consecutions, Algorithms, Temporal logic, Decidability, Inference rules, Linear temporal logic, Branching time logic
50Michaela Huhn, Peter Niebert Towards Automata for Branching Time and Partial Order. Search on Bibsonomy CONCUR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
50Philippe Schnoebelen, Sophie Pinchinat On the Weak Adequacy of Branching-Time Remporal Logic. Search on Bibsonomy ESOP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
48Alexander Bolotov, Michael Fisher 0001 A Resolution Method For CTL Branching-Time Temporal Logic. Search on Bibsonomy TIME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF resolution method, CTL branching-time temporal logic, clausal resolution method, extended CTL, fairness operators, step resolution, temporal resolution rule, linear-time temporal resolution, temporal logic, completeness, normal form, linear temporal logic, computation tree logic, CTL*
48Alexander Bolotov, Clare Dixon Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule. Search on Bibsonomy TIME The full citation details ... 2000 DBLP  DOI  BibTeX  RDF loop detection algorithm, temporal logics, resolution, automated deduction, branching-time
45Panagiotis Manolios A Compositional Theory of Refinement for Branching Time. Search on Bibsonomy CHARME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
44Orna Kupferman, Moshe Y. Vardi Memoryful Branching-Time Logic. Search on Bibsonomy LICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
43Wolfgang Thomas Computation tree logic and regular omega-languages. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Büchi automata, Rabin tree automata, noncounting property, group-free monoids, computation tree logic, Branching time logic
41Ron van der Meyden, Ka-Shu Wong Complete Axiomatizations for Reasoning about Knowledge and Branching Time. Search on Bibsonomy Stud Logica The full citation details ... 2003 DBLP  DOI  BibTeX  RDF perfect recall, multi-agent systems, temporal logic, modal logic, epistemic logic, synchrony, logic of knowledge, branching time
41Alberto Zanardo Quantification over Sets of Possible Worlds in Branching-Time Semantics. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF temporal logics, branching time
41Michela Sabbadin, Alberto Zanardo Topological Aspects of Branching-Time Semantics. Search on Bibsonomy Stud Logica The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Semantics, Topology, Branching-Time
37Francesco Ranzato, Francesco Tapparo An Abstract Interpretation Perspective on Linear vs. Branching Time. Search on Bibsonomy APLAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Véronique Cortier, Ralf Küsters, Bogdan Warinschi A Cryptographic Model for Branching Time Security Properties - The Case of Contract Signing Protocols. Search on Bibsonomy ESORICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Orna Bernholtz, Orna Grumberg Branching Time Temporal Logic and Amorphous Tree Automata. Search on Bibsonomy CONCUR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
36Bernard Berthomieu, François Vernadat 0001 State Class Constructions for Branching Analysis of Time Petri Nets. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF state classes, branching time temporal properties, real-time systems modeling and verification, model-checking, bisimulation, Time Petri nets
36Orna Kupferman, Moshe Y. Vardi, Pierre Wolper An automata-theoretic approach to branching-time model checking. Search on Bibsonomy J. ACM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
36Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). Search on Bibsonomy CAV The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
34Markus Müller-Olm, Haiseung Yoo MetaGame: An Animation Tool for Model-Checking Games. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF model checking, animation, game, error diagnosis, branching time logic
33Volker Weber On the Complexity of Branching-Time Logics. Search on Bibsonomy CSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF complexity of satisfiability, pebble automata, alternating tree automata, forgettable past, CTL, branching-time logic
32Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity. Search on Bibsonomy CAV The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
31Rob J. van Glabbeek The Linear Time-Branching Time Spectrum (Extended Abstract). Search on Bibsonomy CONCUR The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
31Leslie Lamport "Sometime" is Sometimes "Not Never" - On the Temporal Logic of Programs. Search on Bibsonomy POPL The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
30Marco Ragni, Stefan Wölfl 0001 Branching Allen. Search on Bibsonomy Spatial Cognition The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Mathias Broxvall The Point Algebra for Branching Time Revisited. Search on Bibsonomy KI/ÖGAI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
29Mordechai Ben-Ari, Zohar Manna, Amir Pnueli The Temporal Logic of Branching Time. Search on Bibsonomy POPL The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
29Sumit Nain, Moshe Y. Vardi Branching vs. Linear Time: Semantical Perspective. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Xiaowei Huang 0001, Ron van der Meyden Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Guangping Qin, Jinzhao Wu Branching Time Equivalences for Interactive Markov Chains. Search on Bibsonomy FORTE Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Christel Baier, Marta Z. Kwiatkowska Model Checking for a Probabilistic Branching Time Logic with Fairness. Search on Bibsonomy Distributed Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Probabilistic processes, Verification, Temporal logic, Fairness
29Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic. Search on Bibsonomy CAV The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
29Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis Safety for Branching Time Semantics. Search on Bibsonomy ICALP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
29Chuchang Liu, Mehmet A. Orgun BCTL: A Branching Clock Temporal Logic. Search on Bibsonomy TIME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
28Alessandro Fantechi, Stefania Gnesi, V. Perticaroli An Expressive Logic for Basic Process Algebra. Search on Bibsonomy MFCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
26Stefania Gnesi, Diego Latella, Mieke Massink Model Checking UML Statechart Diagrams Using JACK. Search on Bibsonomy HASE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Branching Time Temporal Logics, Model Checking, UML, Formal Verification
26Orna Kupferman, Moshe Y. Vardi From linear time to branching time. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF alternation-free ?-calculus, Linear temporal logic
24Luís Monteiro A Coalgebraic Characterization of Behaviours in the Linear Time - Branching Time Spectrum. Search on Bibsonomy WADT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer Linear Time and Branching Time Semantics for Recursion with Merge. Search on Bibsonomy ICALP The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
24Tomás Brázdil, Vojtech Forejt Strategy Synthesis for Markov Decision Processes and Branching-Time Logics. Search on Bibsonomy CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Moshe Y. Vardi Branching vs. Linear Time: Final Showdown. Search on Bibsonomy TACAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
23Alexander Bolotov A Clausal Resolution Method for Extended Computation Tree Logic ECTL. Search on Bibsonomy TIME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Alexander Moshe Rabinovich, Shahar Maoz Why so Many Temporal Logics Climb up the Trees? Search on Bibsonomy MFCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
23Alexander Bolotov, Clare Dixon, Michael Fisher 0001 Clausal Resolution for CTL*. Search on Bibsonomy MFCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
22Youcef Hammal Branching Time Semantics for UML 2.0 Sequence Diagrams. Search on Bibsonomy FORTE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Faisal N. Abu-Khzam, Michael A. Langston A Direct Algorithm for the Parameterized Face Cover Problem. Search on Bibsonomy IWPEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22Govert van Drimmelen Satisfiability in Alternating-time Temporal Logic. Search on Bibsonomy LICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Michaela Huhn, Peter Niebert, Frank Wallner Verification Based on Local States. Search on Bibsonomy TACAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
22Thilo Hafer, Wolfgang Thomas Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree. Search on Bibsonomy ICALP The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
22Rotem Oshman, Orna Grumberg A New Approach to Bounded Model Checking for Branching Time Logics. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Philippe Schnoebelen Oracle Circuits for Branching-Time Model Checking. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic. Search on Bibsonomy CAV The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
22Rajeev Alur, Swarat Chaudhuri, P. Madhusudan Languages of Nested Trees. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Seong-ick Moon, Kwang Hyung Lee, Doheon Lee Fuzzy branching temporal logic. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part B The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22Pedro R. D'Argenio, Sjouke Mauw Delayed choice for process algebra with abstraction. Search on Bibsonomy CONCUR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
22Barbara Paech Gentzen-Systems for Propositional Temporal Logics. Search on Bibsonomy CSL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
21Edmund M. Clarke, E. Allen Emerson Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic. Search on Bibsonomy 25 Years of Model Checking The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Philippe Schnoebelen Model Checking Branching Time Logics. Search on Bibsonomy TIME The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Alexander Bolotov, Artie Basukoski A clausal resolution method for branching-time logic ECTL+. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF AMS subject classification 03B35, 03B44, 68Q60, 68Q85, 68T15, 68N30
21Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera 0001 Stochastic Games with Branching-Time Winning Objectives. Search on Bibsonomy LICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Harald Fecher, Michael Huth 0001 Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise. Search on Bibsonomy ATVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Stefan Wölfl 0001 Events in Branching Time. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF transitio, tree, Event, causality, state
21Dennis Dams, Kedar S. Namjoshi The Existence of Finite Abstractions for Branching Time Model Checking. Search on Bibsonomy LICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Alexander Bolotov, Artie Basukoski A Clausal Resolution Method for Branching-Time Logic ECTL+. Search on Bibsonomy TIME The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Kedar S. Namjoshi Abstraction for Branching Time Properties. Search on Bibsonomy CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
21Boumediene Belkhouche, R. Raymond Lang, Chung Wa Ng A Branching Time Semantics for the Ada Rendezvous Mechanism. Search on Bibsonomy HICSS (1) The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
21Javier Esparza, Astrid Kiehn On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes. Search on Bibsonomy CAV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
19Vladimir V. Rybakov Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms. Search on Bibsonomy LFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF admissible inference rules, Temporal logic, linear temporal logic, branching time logic
19Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds 0001 A Temporal Logic of Robustness. Search on Bibsonomy FroCoS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF RoCTL*, QCTL*, Robustness, Modal Logic, Decidability, Branching Time Logic
19Lubos Brim, Karen Yorav, Jitka Zidkova Assumption-based distribution of CTL model checking. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Many-valuated logics, Model checking, Distributed algorithms, Branching time logics
19Eiichi Horita A Fully Abstract Model for a Nonuniform Concurrent Language with Parameterization and Locality. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF local variables, local channels, concurrency, correctness, operational semantics, parameterization, metric spaces, denotational semantics, full abstraction, linear time, imperative languages, branching time, domain equations
19E. Allen Emerson, Charanjit S. Jutla The Complexity of Tree Automata and Logics of Programs (Extended Abstract) Search on Bibsonomy FOCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF PDL-delta, infinite trees, nonemptiness algorithm, computational complexity, satisfiability, tree automata, finite-state automata, branching time logic, propositional dynamic logic, logics of programs, CTL*
19Rajeev Alur, Thomas A. Henzinger, Orna Kupferman Alternating-time temporal logic. Search on Bibsonomy J. ACM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF temporaxl logic, model checking, games, Alternation
18Rajeev Alur, Thomas A. Henzinger, Orna Kupferman Alternating-time Temporal Logic. Search on Bibsonomy FOCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
18Rajeev Alur, Thomas A. Henzinger, Orna Kupferman Alternating-Time Temporal Logic. Search on Bibsonomy COMPOS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
18Agata Janowska, Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets. Search on Bibsonomy Trans. Petri Nets Other Model. Concurr. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
18Agata Janowska, Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets. Search on Bibsonomy PNSE The full citation details ... 2012 DBLP  BibTeX  RDF
16Wojciech Penczek, Agata Pólrola Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
16Benjamin Bisping, David N. Jansen Linear-Time-Branching-Time Spectroscopy Accounting for Silent Steps. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
16Benjamin Bisping, David N. Jansen, Uwe Nestmann Deciding All Behavioral Equivalences at Once: A Game for Linear-Time-Branching-Time Spectroscopy. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
16Walter Vogler, Gerald Lüttgen Correction to: A linear-time branching-time perspective on interface automata. Search on Bibsonomy Acta Informatica The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
16Arpit Sharma 0002 The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
16Benjamin Bisping, Uwe Nestmann Deciding All Behavioral Equivalences at Once: A Game for Linear-time-Branching-time Spectroscopy. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
16Benjamin Bisping, Uwe Nestmann A Game for Linear-time-Branching-time Spectroscopy. Search on Bibsonomy TACAS (1) The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
16Walter Vogler, Gerald Lüttgen A linear-time branching-time perspective on interface automata. Search on Bibsonomy Acta Informatica The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
16Valentina Castiglioni, Michele Loreti, Simone Tini The metric linear-time branching-time spectrum on nondeterministic probabilistic processes. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
16Uli Fahrenberg, Axel Legay A linear-time-branching-time spectrum for behavioral specification theories. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
16Arpit Sharma 0002 The Linear Time-Branching Time Spectrum of Equivalences for Stochastic Systems with Non-determinism. Search on Bibsonomy ICTAC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Ulrich Dorsch, Stefan Milius, Lutz Schröder Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum. Search on Bibsonomy CONCUR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
16Ulrich Dorsch, Stefan Milius, Lutz Schröder Graded Monads for the Linear Time - Branching Time Spectrum. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
16Uli Fahrenberg, Axel Legay A Linear-Time-Branching-Time Spectrum of Behavioral Specification Theories. Search on Bibsonomy SOFSEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Uli Fahrenberg, Axel Legay A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
16Uli Fahrenberg, Axel Legay The quantitative linear-time-branching-time spectrum. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
16David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino, David Romero-Hernández Unifying the Linear Time-Branching Time Spectrum of Process Semantics Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
16Maciej Gazda, Wan J. Fokkink Turning GSOS Rules into Equations for Linear Time-Branching Time Semantics. Search on Bibsonomy Comput. J. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 483 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license