AMS eContent Search Results
Matches for: msc=(68Q45) AND publication=(all)
Sort order: Date
Format: Standard display

  
Results: 1 to 30 of 45 found      Go to page: 1 2

[1] Yago Antolín and Laura Ciobanu. Finite generating sets of relatively hyperbolic groups and applications to geodesic languages. Trans. Amer. Math. Soc. 368 (2016) 7965-8010.
Abstract, references, and article information   
View Article: PDF

[2] Daniel König, Markus Lohrey and Georg Zetzsche. Knapsack and subset sum problems in nilpotent, polycyclic, and co-context-free groups. Contemporary Mathematics 677 (2016) 129-144.
Book volume table of contents   
View Article: PDF

[3] Jorge Almeida, Stuart Margolis, Benjamin Steinberg and Mikhail Volkov. Representation theory of finite semigroups, semigroup radicals and formal language theory. Trans. Amer. Math. Soc. 361 (2009) 1429-1461. MR 2457405.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[4] Tullio Ceccherini-Silberstein. Growth and ergodicity of context-free languages II: The linear case. Trans. Amer. Math. Soc. 359 (2007) 605-618. MR 2255188.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[5] Tullio Ceccherini-Silberstein and Wolfgang Woess. Growth and ergodicity of context-free languages. Trans. Amer. Math. Soc. 354 (2002) 4597-4625. MR 1926891.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[6] Willem Visser and Howard Barringer. Memory efficient state storage in SPIN. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 32 (1997) 185-203.
Book volume table of contents
View Article: PDF

[7] Venkatesh Natarajan and Gerard Holzmann. Outline for an operational semantics of PROMELA. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 32 (1997) 133-152.
Book volume table of contents
View Article: PDF

[8] Javier Tuya, Jose de Diego, Claudio de la Riva and Jose Corrales. Dynamic analysis of SA/RT models using SPIN and modular verification. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 32 (1997) 165-183.
Book volume table of contents
View Article: PDF

[9] Jean-Charles Gregorie, Gerard Holzmann and Doron Peled (Editors). The SPIN Verification System. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 32 (1997) MR MR1487158.
Book volume table of contents

[10] Siegfried Loffler and Ahmed Serhrouchni. Creating implementations from PROMELA models. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 32 (1997) 91-99.
Book volume table of contents
View Article: PDF

[11] Sandeep Shukla, Daniel Rosenkrantz and S Ravi. A simulation and validation tool for self-stabilizing protocols. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 32 (1997) 153-164.
Book volume table of contents
View Article: PDF

[12] Gerard Holzmann, Doron Peled and Mihalis Yannakakis. On nested depth first search. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 32 (1997) 23-31.
Book volume table of contents
View Article: PDF

[13] Jean Gregoire. State space compression with graph encoded sets. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 32 (1997) 1-15.
Book volume table of contents
View Article: PDF

[14] Gerard Holzmann and Orna Kupferman. Not checking for closure under stuttering. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 32 (1997) 17-22.
Book volume table of contents
View Article: PDF

[15] Pim Kars. The application of PROMELA and SPIN in the BOS project. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 32 (1997) 51-63.
Book volume table of contents
View Article: PDF

[16] Elie Najm and Frank Olsen. Protocol verification with reactive PROMELA/RSPIN. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 32 (1997) 111-131.
Book volume table of contents
View Article: PDF

[17] Henrik Jensen, Kim Larsen and Arne Skou. Modelling and analysis of a collision avoidance protocol using SPIN and UPPAAL. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 32 (1997) 33-49.
Book volume table of contents
View Article: PDF

[18] Stefan Leue and Peter Ladkin. Implementing and verifying MSC specifications using PROMELA/XSPIN. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 32 (1997) 65-89.
Book volume table of contents
View Article: PDF

[19] Pedro Merino and Jose-Maria Troya. Modelling and verification of the MCS layer with SPIN. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 32 (1997) 101-110.
Book volume table of contents
View Article: PDF

[20] Doron Peled. Partial order reduction: Linear and branching temporal logics and process algebras. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 29 (1997) 233-257.
Book volume table of contents
View Article: PDF

[21] M Mukund and P Thiagarajan. Linear time temporal logics over Mazurkiewicz traces. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 29 (1997) 171-201.
Book volume table of contents
View Article: PDF

[22] Doron Peled, Vaughan R. Pratt and Gerard Holzmann (Editors). Partial Order Methods in Verification. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 29 (1997) MR MR1440885.
Book volume table of contents

[23] A Valmari. Stubborn set methods for process algebras. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 29 (1997) 213-231.
Book volume table of contents
View Article: PDF

[24] G Plotkin and Vaughan Pratt. Teams can see pomsets. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 29 (1997) 117-128.
Book volume table of contents
View Article: PDF

[25] Albert Meyer and A Rabinovich. A solution of an interleaving decision problem by a partial order technique. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 29 (1997) 203-211.
Book volume table of contents
View Article: PDF

[26] M Shields. Algebraic manipulations and vector languages. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 29 (1997) 41-57.
Book volume table of contents
View Article: PDF

[27] A Mazurkiewicz. Prefix function view of states and events. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 29 (1997) 1-23.
Book volume table of contents
View Article: PDF

[28] David Luckham. Rapide: A language and toolset for simulation of distributed systems by partial orderings of events. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 29 (1997) 329-357.
Book volume table of contents
View Article: PDF

[29] W Thomas. Elements of an automata theory over partial orders. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 29 (1997) 25-40.
Book volume table of contents
View Article: PDF

[30] Thomas Hildebrandt and Vladimiro Sassone. Transition systems with independence and multi-arcs. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 29 (1997) 273-288.
Book volume table of contents
View Article: PDF


Results: 1 to 30 of 45 found      Go to page: 1 2