Cook, Victor; Peterson, Christina; Painter, Zachary; Dechev, Damian Quantifiability: a concurrent correctness condition modeled in vector space. (English) Zbl 1519.68157 Computing 105, No. 5, 955-978 (2023). MSC: 68Q85 68M07 PDFBibTeX XMLCite \textit{V. Cook} et al., Computing 105, No. 5, 955--978 (2023; Zbl 1519.68157) Full Text: DOI arXiv
Selvaraj, Srinivasan An incremental approach for detecting distributed deadlocks in the generalized model. (English) Zbl 1490.68053 Computing 104, No. 1, 149-168 (2022). MSC: 68M14 68Q85 PDFBibTeX XMLCite \textit{S. Selvaraj}, Computing 104, No. 1, 149--168 (2022; Zbl 1490.68053) Full Text: DOI
Zroug, Siham; Kahloul, Laid; Benharzallah, Saber; Djouani, Karim A hierarchical formal method for performance evaluation of WSNs protocol. (English) Zbl 1473.68030 Computing 103, No. 6, 1183-1208 (2021). MSC: 68M18 68M12 68Q85 PDFBibTeX XMLCite \textit{S. Zroug} et al., Computing 103, No. 6, 1183--1208 (2021; Zbl 1473.68030) Full Text: DOI
Mittermayr, Robert; Blieberger, Johann Deadlock and WCET analysis of barrier-synchronized concurrent programs. (English) Zbl 1473.68050 Computing 103, No. 5, 749-770 (2021). MSC: 68N30 68Q85 PDFBibTeX XMLCite \textit{R. Mittermayr} and \textit{J. Blieberger}, Computing 103, No. 5, 749--770 (2021; Zbl 1473.68050) Full Text: DOI
Boltenhagen, Mathilde; Chatain, Thomas; Carmona, Josep Optimized SAT encoding of conformance checking artefacts. (English) Zbl 1473.68185 Computing 103, No. 1, 29-50 (2021). MSC: 68T20 68Q85 90B70 PDFBibTeX XMLCite \textit{M. Boltenhagen} et al., Computing 103, No. 1, 29--50 (2021; Zbl 1473.68185) Full Text: DOI Link
Hamza, Jad On the complexity of linearizability. (English) Zbl 1459.68083 Computing 101, No. 9, 1227-1240 (2019). MSC: 68Q25 68Q17 68Q60 68Q85 PDFBibTeX XMLCite \textit{J. Hamza}, Computing 101, No. 9, 1227--1240 (2019; Zbl 1459.68083) Full Text: DOI arXiv
Mannhardt, Felix; de Leoni, Massimiliano; Reijers, Hajo A.; van der Aalst, Wil M. P. Balanced multi-perspective checking of process conformance. (English) Zbl 1352.68186 Computing 98, No. 4, 407-437 (2016). MSC: 68Q85 PDFBibTeX XMLCite \textit{F. Mannhardt} et al., Computing 98, No. 4, 407--437 (2016; Zbl 1352.68186) Full Text: DOI
Haddar, Nahla; Tmar, Mohamed; Gargouri, Faiez A data-centric approach to manage business processes. (English) Zbl 1352.68184 Computing 98, No. 4, 375-406 (2016). MSC: 68Q85 68P05 68Q60 90B50 90B70 PDFBibTeX XMLCite \textit{N. Haddar} et al., Computing 98, No. 4, 375--406 (2016; Zbl 1352.68184) Full Text: DOI
Lira, Victor; Tavares, Eduardo; Fernandes, Stenio; Maciel, Paulo Dependable virtual network mapping. (English) Zbl 1337.68044 Computing 97, No. 5, 459-481 (2015). MSC: 68M15 68M11 68Q85 68T20 PDFBibTeX XMLCite \textit{V. Lira} et al., Computing 97, No. 5, 459--481 (2015; Zbl 1337.68044) Full Text: DOI
Kanso, Ali; Toeroe, Maria; Khendek, Ferhat Comparing redundancy models for high availability middleware. (English) Zbl 1305.68039 Computing 96, No. 10, 975-993 (2014). MSC: 68M15 60H30 68N30 68Q85 68Q87 PDFBibTeX XMLCite \textit{A. Kanso} et al., Computing 96, No. 10, 975--993 (2014; Zbl 1305.68039) Full Text: DOI
Ivanović, Dragan; Carro, Manuel; Hermenegildo, Manuel V. A sharing-based approach to supporting adaptation in service compositions. (English) Zbl 1314.68065 Computing 95, No. 6, 453-492 (2013). MSC: 68M14 68U35 68Q85 68Q60 PDFBibTeX XMLCite \textit{D. Ivanović} et al., Computing 95, No. 6, 453--492 (2013; Zbl 1314.68065) Full Text: DOI Link
Simmonds, Jocelyn; Ben-David, Shoham; Chechik, Marsha Monitoring and recovery for web service applications. (English) Zbl 1314.68037 Computing 95, No. 3, 223-267 (2013). MSC: 68M11 68Q85 68T20 PDFBibTeX XMLCite \textit{J. Simmonds} et al., Computing 95, No. 3, 223--267 (2013; Zbl 1314.68037) Full Text: DOI
von Issendorff, H. Some generalizations of the calculus of binary events. (English) Zbl 0945.03044 Computing 58, No. 1, 91-94 (1997). MSC: 03B70 68Q60 03B50 06A06 08A55 68Q85 06E05 08A70 03B44 PDFBibTeX XMLCite \textit{H. von Issendorff}, Computing 58, No. 1, 91--94 (1997; Zbl 0945.03044) Full Text: DOI
Bathelt, P.; Hofmann, F. A comparison of two Petri net types. (English) Zbl 0518.68035 Computing 31, 141-148 (1983). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Bathelt} and \textit{F. Hofmann}, Computing 31, 141--148 (1983; Zbl 0518.68035) Full Text: DOI