Luo, Fucai; Al-Kuwari, Saif; Wang, Haiyan; Yan, Xingfu Fully collusion resistant trace-and-revoke functional encryption for arbitrary identities. (English) Zbl 07811870 Theor. Comput. Sci. 987, Article ID 114368, 27 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{F. Luo} et al., Theor. Comput. Sci. 987, Article ID 114368, 27 p. (2024; Zbl 07811870) Full Text: DOI
Thompson, Declan Execution trace sets for real computation. (English) Zbl 07676459 Theor. Comput. Sci. 940, 2-17 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Thompson}, Theor. Comput. Sci. 940, 2--17 (2023; Zbl 07676459) Full Text: DOI
Yang, Jing; Fu, Fang-Wei New \((k,l,m)\)-verifiable multi-secret sharing schemes based on XTR public key system. (English) Zbl 07496377 Theor. Comput. Sci. 910, 54-67 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{J. Yang} and \textit{F.-W. Fu}, Theor. Comput. Sci. 910, 54--67 (2022; Zbl 07496377) Full Text: DOI arXiv
Selvaratnam, Daniel; Cantoni, Michael; Davoren, J. M.; Shames, Iman Sampling polynomial trajectories for LTL verification. (English) Zbl 1478.68174 Theor. Comput. Sci. 897, 135-163 (2022). MSC: 68Q60 03B44 68T40 68W30 PDFBibTeX XMLCite \textit{D. Selvaratnam} et al., Theor. Comput. Sci. 897, 135--163 (2022; Zbl 1478.68174) Full Text: DOI arXiv
Kopra, Johan On the trace subshifts of fractional multiplication automata. (English) Zbl 1480.37026 Theor. Comput. Sci. 851, 92-110 (2021). MSC: 37B15 37B10 PDFBibTeX XMLCite \textit{J. Kopra}, Theor. Comput. Sci. 851, 92--110 (2021; Zbl 1480.37026) Full Text: DOI arXiv
Zhang, Nan; Yu, Bin; Tian, Cong; Duan, Zhenhua; Yuan, Xiaoshuai Temporal logic specification mining of programs. (English) Zbl 1477.68168 Theor. Comput. Sci. 857, 29-42 (2021). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{N. Zhang} et al., Theor. Comput. Sci. 857, 29--42 (2021; Zbl 1477.68168) Full Text: DOI
Sharma, Arpit The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism. (English) Zbl 1464.68263 Theor. Comput. Sci. 850, 148-167 (2021). MSC: 68Q85 03B44 60J20 68Q87 PDFBibTeX XMLCite \textit{A. Sharma}, Theor. Comput. Sci. 850, 148--167 (2021; Zbl 1464.68263) Full Text: DOI
Castiglioni, Valentina; Loreti, Michele; Tini, Simone The metric linear-time branching-time spectrum on nondeterministic probabilistic processes. (English) Zbl 1433.68242 Theor. Comput. Sci. 813, 20-69 (2020). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{V. Castiglioni} et al., Theor. Comput. Sci. 813, 20--69 (2020; Zbl 1433.68242) Full Text: DOI
Guaiana, Giovanna Local testability from words to traces, a suitable definition. (English) Zbl 1358.68169 Theor. Comput. Sci. 658, Part A, 175-189 (2017). Reviewer: Magnus Steinby (Turku) MSC: 68Q45 20M35 68Q70 68R15 PDFBibTeX XMLCite \textit{G. Guaiana}, Theor. Comput. Sci. 658, Part A, 175--189 (2017; Zbl 1358.68169) Full Text: DOI
Kahl, Thomas Topological abstraction of higher-dimensional automata. (English) Zbl 1339.68188 Theor. Comput. Sci. 631, 97-117 (2016). MSC: 68Q85 68Q70 PDFBibTeX XMLCite \textit{T. Kahl}, Theor. Comput. Sci. 631, 97--117 (2016; Zbl 1339.68188) Full Text: DOI arXiv
Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure. (English) Zbl 1330.68194 Theor. Comput. Sci. 604, 102-126 (2015). MSC: 68Q85 18C50 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Theor. Comput. Sci. 604, 102--126 (2015; Zbl 1330.68194) Full Text: DOI arXiv
Deng, Yuxin; Zhang, Yu Program equivalence in linear contexts. (English) Zbl 1327.68078 Theor. Comput. Sci. 585, 71-90 (2015). MSC: 68N30 68N15 68N18 PDFBibTeX XMLCite \textit{Y. Deng} and \textit{Y. Zhang}, Theor. Comput. Sci. 585, 71--90 (2015; Zbl 1327.68078) Full Text: DOI arXiv
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele Relating strong behavioral equivalences for processes with nondeterminism and probabilities. (English) Zbl 1360.68626 Theor. Comput. Sci. 546, 63-92 (2014). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Bernardo} et al., Theor. Comput. Sci. 546, 63--92 (2014; Zbl 1360.68626) Full Text: DOI
Kahl, Thomas Weak morphisms of higher dimensional automata. (English) Zbl 1359.68172 Theor. Comput. Sci. 536, 42-61 (2014). MSC: 68Q45 PDFBibTeX XMLCite \textit{T. Kahl}, Theor. Comput. Sci. 536, 42--61 (2014; Zbl 1359.68172) Full Text: DOI arXiv
Aiguier, Marc; Boulanger, Frédéric; Kanso, Bilal A formal abstract framework for modelling and testing complex software systems. (English) Zbl 1279.68193 Theor. Comput. Sci. 455, 66-97 (2012). MSC: 68Q60 68N30 68Q65 PDFBibTeX XMLCite \textit{M. Aiguier} et al., Theor. Comput. Sci. 455, 66--97 (2012; Zbl 1279.68193) Full Text: DOI
Kuske, Dietrich Weighted asynchronous cellular automata. (English) Zbl 1164.68023 Theor. Comput. Sci. 374, No. 1-3, 127-148 (2007). MSC: 68Q80 68Q45 PDFBibTeX XMLCite \textit{D. Kuske}, Theor. Comput. Sci. 374, No. 1--3, 127--148 (2007; Zbl 1164.68023) Full Text: DOI
Cheung, Ling; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits Switched PIOA: parallel composition via distributed scheduling. (English) Zbl 1118.68038 Theor. Comput. Sci. 365, No. 1-2, 83-108 (2006). MSC: 68M20 68Q45 PDFBibTeX XMLCite \textit{L. Cheung} et al., Theor. Comput. Sci. 365, No. 1--2, 83--108 (2006; Zbl 1118.68038) Full Text: DOI Link
Brzozowski, Janusz. A. Representation of a class of nondeterministic semiautomata by canonical words. (English) Zbl 1160.68404 Theor. Comput. Sci. 356, No. 1-2, 46-57 (2006). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{Janusz. A. Brzozowski}, Theor. Comput. Sci. 356, No. 1--2, 46--57 (2006; Zbl 1160.68404) Full Text: DOI
Kunc, Michal Undecidability of the trace coding problem and some decidable cases. (English) Zbl 1071.68043 Theor. Comput. Sci. 310, No. 1-3, 393-456 (2004). MSC: 68Q45 20M35 68Q85 PDFBibTeX XMLCite \textit{M. Kunc}, Theor. Comput. Sci. 310, No. 1--3, 393--456 (2004; Zbl 1071.68043) Full Text: DOI
Kirsten, Daniel; Marcinkowski, Jerzy Two techniques in the area of the star problem in trace monoids. (English) Zbl 1106.68371 Theor. Comput. Sci. 309, No. 1-3, 381-412 (2003). MSC: 68Q45 20M35 68Q85 PDFBibTeX XMLCite \textit{D. Kirsten} and \textit{J. Marcinkowski}, Theor. Comput. Sci. 309, No. 1--3, 381--412 (2003; Zbl 1106.68371) Full Text: DOI
Silva, Pedro V. The homomorphism problem for trace monoids. (English) Zbl 1042.20042 Theor. Comput. Sci. 307, No. 1, 199-215 (2003). Reviewer: Francine Blanchet-Sadri (Greensboro) MSC: 20M05 68R15 20M15 PDFBibTeX XMLCite \textit{P. V. Silva}, Theor. Comput. Sci. 307, No. 1, 199--215 (2003; Zbl 1042.20042) Full Text: DOI
David, R. Decidability results for primitive recursive algorithms. (English) Zbl 1026.03028 Theor. Comput. Sci. 300, No. 1-3, 477-504 (2003). Reviewer: U.Schöning (Ulm) MSC: 03D20 68Q05 PDFBibTeX XMLCite \textit{R. David}, Theor. Comput. Sci. 300, No. 1--3, 477--504 (2003; Zbl 1026.03028) Full Text: DOI
Gollmann, Dieter Dual bases and bit-serial multiplication in \(\mathbb F_q^n\). (English) Zbl 1098.94608 Theor. Comput. Sci. 226, No. 1-2, 45-59 (1999). Reviewer: Jerzy Żurawiecki (Lublin) MSC: 94A55 11T71 68M07 94B99 PDFBibTeX XMLCite \textit{D. Gollmann}, Theor. Comput. Sci. 226, No. 1--2, 45--59 (1999; Zbl 1098.94608) Full Text: DOI
Schmitt, Vincent Stable trace automata vs. full trace automata. (English) Zbl 0963.68097 Theor. Comput. Sci. 200, No. 1-2, 45-100 (1998). MSC: 68Q45 PDFBibTeX XMLCite \textit{V. Schmitt}, Theor. Comput. Sci. 200, No. 1--2, 45--100 (1998; Zbl 0963.68097) Full Text: DOI
Hoogeboom, Hendrik Jan; Muscholl, Anca The code problem for traces – improving the boundaries. (English) Zbl 0903.68129 Theor. Comput. Sci. 172, No. 1-2, 309-321 (1997). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. J. Hoogeboom} and \textit{A. Muscholl}, Theor. Comput. Sci. 172, No. 1--2, 309--321 (1997; Zbl 0903.68129) Full Text: DOI
Ebinger, Werner; Muscholl, Anca Logical definability on infinite traces. (English) Zbl 0871.68111 Theor. Comput. Sci. 154, No. 1, 67-84 (1996). MSC: 68Q45 03B15 PDFBibTeX XMLCite \textit{W. Ebinger} and \textit{A. Muscholl}, Theor. Comput. Sci. 154, No. 1, 67--84 (1996; Zbl 0871.68111) Full Text: DOI
Yen, Hsu-Chun; Jian, Shi-Tsuen; Lao, Ta-Pang Deciding bisimulation and trace equivalences for systems with many identical processes. (English) Zbl 0874.68119 Theor. Comput. Sci. 170, No. 1-2, 445-464 (1996). MSC: 68Q10 68Q55 68Q25 PDFBibTeX XMLCite \textit{H.-C. Yen} et al., Theor. Comput. Sci. 170, No. 1--2, 445--464 (1996; Zbl 0874.68119) Full Text: DOI
Bruyère, Véronique; De Felice, Clelia; Guaiana, Giovanna On some decision problems for trace codings. (English) Zbl 0873.68170 Theor. Comput. Sci. 148, No. 2, 227-260 (1995). MSC: 68R15 PDFBibTeX XMLCite \textit{V. Bruyère} et al., Theor. Comput. Sci. 148, No. 2, 227--260 (1995; Zbl 0873.68170) Full Text: DOI
Diekert, V. A partial trace semantics for Petri nets. (English) Zbl 0823.68058 Theor. Comput. Sci. 134, No. 1, 87-105 (1994). MSC: 68Q55 68M10 PDFBibTeX XMLCite \textit{V. Diekert}, Theor. Comput. Sci. 134, No. 1, 87--105 (1994; Zbl 0823.68058) Full Text: DOI
Pighizzini, Giovanni Asynchronous automata versus asynchronous cellular automata. (English) Zbl 0826.68081 Theor. Comput. Sci. 132, No. 1-2, 179-207 (1994). Reviewer: A.Ádám (Budapest) MSC: 68Q45 68Q80 68Q10 PDFBibTeX XMLCite \textit{G. Pighizzini}, Theor. Comput. Sci. 132, No. 1--2, 179--207 (1994; Zbl 0826.68081) Full Text: DOI
Goltz, Ursula; Rensink, Arend Finite Petri nets as models for recursive causal behaviour. (English) Zbl 0795.68146 Theor. Comput. Sci. 124, No. 1, 169-179 (1994). MSC: 68Q85 68Q10 68Q55 PDFBibTeX XMLCite \textit{U. Goltz} and \textit{A. Rensink}, Theor. Comput. Sci. 124, No. 1, 169--179 (1994; Zbl 0795.68146) Full Text: DOI Link
Gastin, Paul; Petit, Antoine; Zielonka, Wiesław An extension of Kleene’s and Ochmański’s theorems to infinite traces. (English) Zbl 0795.68116 Theor. Comput. Sci. 125, No. 2, 167-204 (1994). MSC: 68Q45 68Q10 20M35 68Q55 PDFBibTeX XMLCite \textit{P. Gastin} et al., Theor. Comput. Sci. 125, No. 2, 167--204 (1994; Zbl 0795.68116) Full Text: DOI
Diekert, Volker On the concatenation of infinite traces. (English) Zbl 0786.68074 Theor. Comput. Sci. 113, No. 1, 35-54 (1993). Reviewer: J.Woźniak (Gdańsk) MSC: 68Q85 68Q55 68Q10 PDFBibTeX XMLCite \textit{V. Diekert}, Theor. Comput. Sci. 113, No. 1, 35--54 (1993; Zbl 0786.68074) Full Text: DOI
Milner, Robin; Moller, Faron Unique decomposition of processes. (English) Zbl 0777.68037 Theor. Comput. Sci. 107, No. 2, 357-363 (1993). Reviewer: D.Gruska (Bratislava) MSC: 68Q10 68Q60 PDFBibTeX XMLCite \textit{R. Milner} and \textit{F. Moller}, Theor. Comput. Sci. 107, No. 2, 357--363 (1993; Zbl 0777.68037) Full Text: DOI
Guaiana, Giovanna; Restivo, Antonio; Salemi, Sergio Star-free trace languages. (English) Zbl 0769.68062 Theor. Comput. Sci. 97, No. 2, 301-311 (1992). MSC: 68Q45 20M35 PDFBibTeX XMLCite \textit{G. Guaiana} et al., Theor. Comput. Sci. 97, No. 2, 301--311 (1992; Zbl 0769.68062) Full Text: DOI
Goldwurm, Massimiliano Probabilistic estimation of the number of prefixes of a trace. (English) Zbl 0747.68034 Theor. Comput. Sci. 92, No. 2, 249-268 (1992). Reviewer: W.Zielonka (Bordeaux) MSC: 68Q45 68Q25 68R15 PDFBibTeX XMLCite \textit{M. Goldwurm}, Theor. Comput. Sci. 92, No. 2, 249--268 (1992; Zbl 0747.68034) Full Text: DOI
Rozoy, Brigitte; Thiagarajan, P. S. Event structures and trace monoids. (English) Zbl 0756.68036 Theor. Comput. Sci. 91, No. 2, 285-313 (1991). Reviewer: R.Janicki (Hamilton / Ontario) MSC: 68Q10 PDFBibTeX XMLCite \textit{B. Rozoy} and \textit{P. S. Thiagarajan}, Theor. Comput. Sci. 91, No. 2, 285--313 (1991; Zbl 0756.68036) Full Text: DOI
Diekert, Volker Word problems over traces which are solvable in linear time. (English) Zbl 0701.68056 Theor. Comput. Sci. 74, No. 1, 3-18 (1990). MSC: 68Q42 03D03 03D40 68Q10 68Q25 PDFBibTeX XMLCite \textit{V. Diekert}, Theor. Comput. Sci. 74, No. 1, 3--18 (1990; Zbl 0701.68056) Full Text: DOI
Thiagarajan, P. S. Some behavioural aspects of net theory. (English) Zbl 0699.68083 Theor. Comput. Sci. 71, No. 1, 133-153 (1990). MSC: 68Q85 68N25 68N99 PDFBibTeX XMLCite \textit{P. S. Thiagarajan}, Theor. Comput. Sci. 71, No. 1, 133--153 (1990; Zbl 0699.68083) Full Text: DOI
Schmitt, William Hopf algebras and identities in free partially commutative monoids. (English) Zbl 0694.68056 Theor. Comput. Sci. 73, No. 3, 335-340 (1990). MSC: 68Q45 PDFBibTeX XMLCite \textit{W. Schmitt}, Theor. Comput. Sci. 73, No. 3, 335--340 (1990; Zbl 0694.68056) Full Text: DOI
Livesey, M. Stable families of behavioural equivalences. (English) Zbl 0669.68016 Theor. Comput. Sci. 63, No. 1, 19-41 (1989). Reviewer: M.Jantzen MSC: 68Q60 68Q85 68U20 PDFBibTeX XMLCite \textit{M. Livesey}, Theor. Comput. Sci. 63, No. 1, 19--41 (1989; Zbl 0669.68016) Full Text: DOI
Kalorkoti, K. The trace invariant and matrix inversion. (English) Zbl 0648.68058 Theor. Comput. Sci. 59, No. 3, 277-286 (1988). MSC: 68W30 68Q25 65F05 PDFBibTeX XMLCite \textit{K. Kalorkoti}, Theor. Comput. Sci. 59, No. 3, 277--286 (1988; Zbl 0648.68058) Full Text: DOI
Sakarovitch, Jacques On regular trace languages. (English) Zbl 0634.68076 Theor. Comput. Sci. 52, 59-75 (1987). Reviewer: A.Stolboushkin MSC: 68Q45 20M35 68Q70 PDFBibTeX XMLCite \textit{J. Sakarovitch}, Theor. Comput. Sci. 52, 59--75 (1987; Zbl 0634.68076) Full Text: DOI
Duboc, Christine Mixed product and asynchronous automata. (English) Zbl 0638.68095 Theor. Comput. Sci. 48, 183-199 (1986). MSC: 68Q45 20M35 20M05 PDFBibTeX XMLCite \textit{C. Duboc}, Theor. Comput. Sci. 48, 183--199 (1986; Zbl 0638.68095) Full Text: DOI
Meyer, J.-J. Ch. Merging regular processes by means of fixed-point theory. (English) Zbl 0602.68025 Theor. Comput. Sci. 45, 193-260 (1986). MSC: 68N25 68N01 PDFBibTeX XMLCite \textit{J. J. Ch. Meyer}, Theor. Comput. Sci. 45, 193--260 (1986; Zbl 0602.68025) Full Text: DOI
Engelfriet, Joost Determinacy \(\to\) (observation equivalence \(=\) trace equivalence). (English) Zbl 0571.68018 Theor. Comput. Sci. 36, 21-25 (1985). MSC: 68N25 PDFBibTeX XMLCite \textit{J. Engelfriet}, Theor. Comput. Sci. 36, 21--25 (1985; Zbl 0571.68018) Full Text: DOI
Bloom, Stephen L.; Troeger, Douglas R. A logical characterization of observation equivalence. (English) Zbl 0558.68027 Theor. Comput. Sci. 35, 43-53 (1985). MSC: 68Q65 68Q45 PDFBibTeX XMLCite \textit{S. L. Bloom} and \textit{D. R. Troeger}, Theor. Comput. Sci. 35, 43--53 (1985; Zbl 0558.68027) Full Text: DOI
Clerbout, M.; Latteux, M. Partial commutations and faithful rational transductions. (English) Zbl 0548.68073 Theor. Comput. Sci. 34, No. 1-2, 241-254 (1984). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Clerbout} and \textit{M. Latteux}, Theor. Comput. Sci. 34, 241--254 (1984; Zbl 0548.68073) Full Text: DOI