Foster, Simon; Cavalcanti, Ana; Woodcock, Jim; Zeyda, Frank Unifying theories of time with generalised reactive processes. (English) Zbl 1476.68143 Inf. Process. Lett. 135, 47-52 (2018). MSC: 68Q55 68Q85 68V15 PDFBibTeX XMLCite \textit{S. Foster} et al., Inf. Process. Lett. 135, 47--52 (2018; Zbl 1476.68143) Full Text: DOI arXiv Link
Aceto, Luca; de Frutos Escrig, David; Gregorio-Rodríguez, Carlos; Ingolfsdottir, Anna Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet. (English) Zbl 1260.68252 Inf. Process. Lett. 111, No. 9, 408-413 (2011). MSC: 68Q85 PDFBibTeX XMLCite \textit{L. Aceto} et al., Inf. Process. Lett. 111, No. 9, 408--413 (2011; Zbl 1260.68252) Full Text: DOI
Gruner, S.; Steyn, T. J. Deadlock-freeness of hexagonal systolic arrays. (English) Zbl 1234.68024 Inf. Process. Lett. 110, No. 14-15, 539-543 (2010). MSC: 68M10 68W10 PDFBibTeX XMLCite \textit{S. Gruner} and \textit{T. J. Steyn}, Inf. Process. Lett. 110, No. 14--15, 539--543 (2010; Zbl 1234.68024) Full Text: DOI
Kapoor, Hemangee K.; Josephs, Mark B. Modelling and verification of delay-insensitive circuits using CCS and the concurrency workbench. (English) Zbl 1183.68387 Inf. Process. Lett. 89, No. 6, 293-296 (2004). MSC: 68Q65 PDFBibTeX XMLCite \textit{H. K. Kapoor} and \textit{M. B. Josephs}, Inf. Process. Lett. 89, No. 6, 293--296 (2004; Zbl 1183.68387) Full Text: DOI
van der Zwaag, Mark B. The cones and foci proof technique for timed transition systems. (English) Zbl 1003.68092 Inf. Process. Lett. 80, No. 1, 33-40 (2001). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{M. B. van der Zwaag}, Inf. Process. Lett. 80, No. 1, 33--40 (2001; Zbl 1003.68092) Full Text: DOI
McIlroy, M. Douglas The music of streams. (English) Zbl 1003.68025 Inf. Process. Lett. 77, No. 2-4, 189-195 (2001). MSC: 68N18 PDFBibTeX XMLCite \textit{M. D. McIlroy}, Inf. Process. Lett. 77, No. 2--4, 189--195 (2001; Zbl 1003.68025) Full Text: DOI
Fraczak, Wojciech; Zaremba, Marek B. A non-SOS operational semantics for a process algebra. (English) Zbl 1339.68184 Inf. Process. Lett. 68, No. 1, 47-54 (1998). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{W. Fraczak} and \textit{M. B. Zaremba}, Inf. Process. Lett. 68, No. 1, 47--54 (1998; Zbl 1339.68184) Full Text: DOI Link
Baier, Christel; Majster-Cederbaum, Mila E. Denotational linear time semantics and sequential composition. (English) Zbl 0900.68296 Inf. Process. Lett. 59, No. 3, 135-143 (1996). MSC: 68Q55 PDFBibTeX XMLCite \textit{C. Baier} and \textit{M. E. Majster-Cederbaum}, Inf. Process. Lett. 59, No. 3, 135--143 (1996; Zbl 0900.68296) Full Text: DOI Link
Valmari, Antti The weakest deadlock-preserving congruence. (English) Zbl 0875.68620 Inf. Process. Lett. 53, No. 6, 341-346 (1995). MSC: 68Q55 68Q10 PDFBibTeX XMLCite \textit{A. Valmari}, Inf. Process. Lett. 53, No. 6, 341--346 (1995; Zbl 0875.68620) Full Text: DOI
Danicic, Sebastian; Harman, Mark; Sivagurunathan, Yoga A parallel algorithm for static program slicing. (English) Zbl 0875.68506 Inf. Process. Lett. 56, No. 6, 307-313 (1995). MSC: 68W15 PDFBibTeX XMLCite \textit{S. Danicic} et al., Inf. Process. Lett. 56, No. 6, 307--313 (1995; Zbl 0875.68506) Full Text: DOI
Bolognesi, T. Deriving graphical representations of process networks from algebraic expressions. (English) Zbl 0778.68062 Inf. Process. Lett. 46, No. 6, 289-294 (1993). MSC: 68Q60 68Q10 PDFBibTeX XMLCite \textit{T. Bolognesi}, Inf. Process. Lett. 46, No. 6, 289--294 (1993; Zbl 0778.68062) Full Text: DOI
Boreale, M.; Inverardi, Paola; Nesi, M. Complete sets of axioms for finite basic LOTOS behavioural equivalences. (English) Zbl 0753.68064 Inf. Process. Lett. 43, No. 3, 155-160 (1992). MSC: 68Q60 68N15 68Q10 PDFBibTeX XMLCite \textit{M. Boreale} et al., Inf. Process. Lett. 43, No. 3, 155--160 (1992; Zbl 0753.68064) Full Text: DOI
Jacob, Jeremy A model of reconfiguration in communicating sequential processes with a notion of transactions. (English) Zbl 0749.68008 Inf. Process. Lett. 41, No. 1, 9-12 (1992). MSC: 68M10 68Q10 68Q55 PDFBibTeX XMLCite \textit{J. Jacob}, Inf. Process. Lett. 41, No. 1, 9--12 (1992; Zbl 0749.68008) Full Text: DOI
Massart, T. An agent calculus with simple actions where the enabling and disabling are derived operators. (English) Zbl 0742.68021 Inf. Process. Lett. 40, No. 4, 213-218 (1991). MSC: 68Q10 PDFBibTeX XMLCite \textit{T. Massart}, Inf. Process. Lett. 40, No. 4, 213--218 (1991; Zbl 0742.68021) Full Text: DOI
Jacob, Jeremy A model of reconfiguration in communicating sequential processes. (English) Zbl 0706.68075 Inf. Process. Lett. 35, No. 1, 19-22 (1990). MSC: 68Q60 68Q42 68M10 68N99 68N25 PDFBibTeX XMLCite \textit{J. Jacob}, Inf. Process. Lett. 35, No. 1, 19--22 (1990; Zbl 0706.68075) Full Text: DOI
Jacob, Jeremy Separability and the detection of hidden channels. (English) Zbl 0695.68021 Inf. Process. Lett. 34, No. 1, 27-29 (1990). MSC: 68N25 68Q60 68N99 PDFBibTeX XMLCite \textit{J. Jacob}, Inf. Process. Lett. 34, No. 1, 27--29 (1990; Zbl 0695.68021) Full Text: DOI