×

zbMATH — the first resource for mathematics

Journal of Logical and Algebraic Methods in Programming

Short Title: J. Log. Algebr. Methods Program.
Publisher: Elsevier, Amsterdam
ISSN: 2352-2208
Online: http://www.sciencedirect.com/science/journal/23522208
Predecessor: The Journal of Logic and Algebraic Programming
Comments: Indexed cover-to-cover
Documents Indexed: 424 Publications (since 2014)
References Indexed: 396 Publications with 15,252 References.
all top 5

Authors

11 Berghammer, Rudolf
9 Meseguer Guaita, José
9 Möller, Bernhard
8 Winter, Michael
8 Yoshida, Nobuko
7 Höfner, Peter
7 Vieira, Hugo Torres
6 Guttmann, Walter
6 Owe, Olaf
6 Silva, Alexandra
6 Tiezzi, Francesco
5 Aceto, Luca
5 Bartoletti, Massimo
5 Durán, Francisco
5 Escobar, Santiago
5 Furusawa, Hitoshi
5 Ingólfsdóttir, Anna
5 Lanese, Ivan
5 Struth, Georg
4 Barbanera, Franco
4 Bravetti, Mario
4 Corradini, Andrea
4 Henrio, Ludovic
4 Johansen, Christian
4 Kahl, Wolfram
4 Knight, Sophia
4 Larsen, Kim Guldstrand
4 Lucas, Salvador
4 Martí-Oliet, Narciso
4 Nishida, Naoki
4 Pantović, Jovanka
4 Pérez, Jorge A.
4 Phillips, Iain W.
4 Rubio, Rubén
4 Rusu, Vlad
4 Steffen, Martin
4 Stolz, Volker
4 ter Beek, Maurice H.
4 Tuosto, Emilio
4 Uustalu, Tarmo
3 Alpuente, María
3 Arusoaie, Andrei
3 Bliudze, Simon
3 Castellani, Ilaria
3 de’Liguoro, Ugo
3 Dezani-Ciancaglini, Mariangiola
3 Francalanza, Adrian
3 Graversen, Eva
3 Haller, Philipp
3 Johnsen, Einar Broch
3 Kawahara, Yasuo
3 Kosiol, Jens
3 Lambers, Leen
3 Llana, Luis
3 Lluch Lafuente, Alberto
3 Lochau, Malte
3 Lucanu, Dorel
3 Madeira, Alexandre
3 Martins, Manuel António
3 Murgia, Maurizio
3 Oliveira, José Nuno
3 Orejas, Fernando
3 Pita, Isabel
3 Pun, Ka I.
3 Ravara, António
3 Rocha, Camilo
3 Sammartino, Matteo
3 Scalas, Alceste
3 Schneider, Gerardo
3 Sifakis, Joseph
3 Silva, Josep
3 Srba, Jiří
3 Stell, John G.
3 Taentzer, Gabriele
3 Tamarit, Salvador
3 Valencia, Frank D.
3 Verdejo, Alberto
3 Vidal, Germán
2 Achilleos, Antonis
2 Albert, Elvira
2 Backhouse, Roland C.
2 Ballis, Demis
2 Barbosa, Luís Soares
2 Bernardo, Marco
2 Boudou, Joseph
2 Brunet, Paul
2 Caballero, Rafael E.
2 Camacho, Carlos J.
2 Ciobanu, Gabriel
2 Dang, Han-Hing
2 de Lara, Juan
2 De Nicola, Rocco
2 Desharnais, Jules
2 Doberkat, Ernst-Erich
2 Dokter, Kasper
2 El-Hokayem, Antoine
2 Fábregas, Ignacio
2 Falcone, Yliès
2 Ferrari, Gian Luigi
2 Fervari, Raul
...and 665 more Authors

Publications by Year

Citations contained in zbMATH Open

194 Publications have been cited 448 times in 345 Documents Cited by Year
On topologies defined by irreducible sets. Zbl 1308.54019
Zhao, Dongsheng; Ho, Weng Kin
19
2015
Programming with algebraic effects and handlers. Zbl 1304.68025
Bauer, Andrej; Pretnar, Matija
17
2015
Reversibility and asymmetric conflict in event structures. Zbl 1330.68213
Phillips, Iain; Ulidowski, Irek
11
2015
Normal forms and normal theories in conditional rewriting. Zbl 1356.68124
Lucas, Salvador; Meseguer, José
9
2016
Reversible session-based pi-calculus. Zbl 1337.68075
Tiezzi, Francesco; Yoshida, Nobuko
8
2015
Causal-consistent rollback in a tuple-based language. Zbl 1362.68213
Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco
8
2017
Algebraic modal correspondence: Sahlqvist and beyond. Zbl 06767310
Conradie, Willem; Palmigiano, Alessandra; Sourabh, Sumit
7
2017
Behavioural equivalences for coalgebras with unobservable moves. Zbl 1330.68195
Brengos, Tomasz; Miculan, Marino; Peressotti, Marco
7
2015
A theory of reversibility for Erlang. Zbl 1400.68046
Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán
6
2018
Contextual equivalences in configuration structures and reversibility. Zbl 1353.68193
Aubert, Clément; Cristescu, Ioana
6
2017
Dependency pairs for proving termination properties of conditional term rewriting systems. Zbl 1353.68155
Lucas, Salvador; Meseguer, José
6
2017
From probability monads to commutative effectuses. Zbl 1382.68073
Jacobs, Bart
6
2018
A calculus of quality for robustness against unreliable communication. Zbl 1337.68041
Nielson, Hanne Riis; Nielson, Flemming; Vigo, Roberto
6
2015
Relational style laws and constructs of linear algebra. Zbl 1434.15016
Desharnais, Jules; Grinenko, Anastasiya; Möller, Bernhard
6
2014
A relation-algebraic approach to the “Hoare logic” of functional dependencies. Zbl 1434.68144
Oliveira, José N.
6
2014
Metalevel algorithms for variant satisfiability. Zbl 1430.68423
Skeirik, Stephen; Meseguer, José
5
2018
A bi-intuitionistic modal logic: foundations and automation. Zbl 1359.03018
Stell, John G.; Schmidt, Renate A.; Rydeheard, David
5
2016
Contracts as games on event structures. Zbl 1352.68174
Bartoletti, Massimo; Cimoli, Tiziana; Michele Pinna, G.; Zunino, Roberto
5
2016
Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures. Zbl 1329.68062
Berghammer, Rudolf; Fischer, Sebastian
5
2015
On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems. Zbl 1435.68131
Azzi, Guilherme Grochau; Corradini, Andrea; Ribeiro, Leila
4
2019
On the metric-based approximate minimization of Markov chains. Zbl 1400.68098
Bacci, Giovanni; Bacci, Giorgio; Larsen, Kim G.; Mardare, Radu
4
2018
Language definitions as rewrite theories. Zbl 1356.68125
Rusu, Vlad; Lucanu, Dorel; Şerbănuţă, Traian-Florin; Arusoaie, Andrei; Ştefănescu, Andrei; Roşu, Grigore
4
2016
Relation lifting, a survey. Zbl 1344.68167
Kurz, Alexander; Velebil, Jiří
4
2016
Developments in concurrent Kleene algebra. Zbl 1344.68149
Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao
4
2016
Belief, knowledge, lies and other utterances in an algebra for space and extrusion. Zbl 1353.68203
Guzman, Michell; Haar, Stefan; Perchy, Salim; Rueda, Camilo; Valencia, Frank D.
4
2017
An exercise on the generation of many-valued dynamic logics. Zbl 1355.03023
Madeira, Alexandre; Neves, Renato; Martins, Manuel A.
4
2016
Continuity as a computational effect. Zbl 1355.68059
Neves, Renato; Barbosa, Luis S.; Hofmann, Dirk; Martins, Manuel A.
4
2016
A unified framework for differential aggregations in Markovian process algebra. Zbl 1319.68151
Tschaikowski, Max; Tribastone, Mirco
4
2015
Monoids with tests and the algebra of possibly non-halting programs. Zbl 1319.68085
Jackson, Marcel; Stokes, Tim
4
2015
Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints. Zbl 1351.68170
ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco
4
2016
Executable rewriting logic semantics of Orc and formal analysis of Orc programs. Zbl 1329.68169
AlTurki, Musab A.; Meseguer, José
4
2015
Programming and automating mathematics in the Tarski-Kleene hierarchy. Zbl 1434.68637
Armstrong, Alasdair; Struth, Georg; Weber, Tjark
4
2014
Programming and symbolic computation in Maude. Zbl 07161317
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn
3
2020
Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours. Zbl 1408.68101
Fischer, Nick; van Glabbeek, Rob
3
2019
Complete algebraic solution of multidimensional optimization problems in tropical semifield. Zbl 1412.90143
Krivulin, Nikolai
3
2018
Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach. Zbl 1417.68078
Lambers, Leen; Born, Kristopher; Kosiol, Jens; Strüber, Daniel; Taentzer, Gabriele
3
2019
Termination criteria for tree automata completion. Zbl 1356.68132
Genet, Thomas
3
2016
Labelled graph strategic rewriting for social networks. Zbl 1430.68134
Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno; Vallet, Jason
3
2018
Towards a categorical representation of reversible event structures. Zbl 1427.68196
Graversen, Eva; Phillips, Iain; Yoshida, Nobuko
3
2019
Relational lattices: from databases to universal algebra. Zbl 1372.68081
Litak, Tadeusz; Mikulás, Szabolcs; Hidders, Jan
3
2016
Concurrent Kleene algebra with tests and branching automata. Zbl 1344.68083
Jipsen, Peter; Moshier, M. Andrew
3
2016
Verifiable abstractions for contract-oriented systems. Zbl 1353.68194
Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto
3
2017
Rewriting modulo SMT and open system analysis. Zbl 1353.68156
Rocha, Camilo; Meseguer, José; Muñoz, César
3
2017
Product programs and relational program logics. Zbl 1355.68047
Barthe, Gilles; Crespo, Juan Manuel; Kunz, César
3
2016
Combining behavioural types with security analysis. Zbl 1330.68045
Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantovic, Jovanka; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres
3
2015
Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases. Zbl 1304.68026
Goubault-Larrecq, Jean
3
2015
The structure of finite meadows. Zbl 1319.68145
Bethke, Inge; Rodenburg, Piet; Sevenster, Arjen
3
2015
Join inverse categories and reversible recursion. Zbl 1359.68045
Kaarsgaard, Robin; Bock Axelsen, Holger; Glück, Robert
3
2017
Some undecidable properties of SOS specifications. Zbl 1359.68196
Klin, Bartek; Nachyła, Beata
3
2017
Solving computational tasks on finite topologies by means of relation algebra and the RelView tool. Zbl 1362.68297
Berghammer, Rudolf; Winter, Michael
3
2017
Cardinality of relations and relational approximation algorithms. Zbl 1351.68152
Berghammer, Rudolf; Höfner, Peter; Stucke, Insa
3
2016
On the relation between concurrent separation logic and concurrent Kleene algebra. Zbl 1330.03072
O’Hearn, Peter W.; Petersen, Rasmus L.; Villard, Jules; Hussain, Akbar
3
2015
Symmetric Heyting relation algebras with applications to hypergraphs. Zbl 1330.03094
Stell, John G.
3
2015
Maximizing entropy over Markov processes. Zbl 1371.68175
Biondi, Fabrizio; Legay, Axel; Nielsen, Bo Friis; Wąsowski, Andrzej
3
2014
Event structure semantics of (controlled) reversible CCS. Zbl 07377686
Graversen, Eva; Phillips, Iain; Yoshida, Nobuko
3
2021
Introspection as an action in relational models. Zbl 1435.03035
Fervari, Raul; Velázquez-Quesada, Fernando R.
2
2019
Realisability of pomsets. Zbl 1435.68213
Guanciale, Roberto; Tuosto, Emilio
2
2019
Graph transformation through graph surfing in reaction systems. Zbl 1435.68135
Kreowski, Hans-Jörg; Rozenberg, Grzegorz
2
2019
Generalized rewrite theories, coherence completion, and symbolic methods. Zbl 07161316
Meseguer, José
2
2020
A linear-time-branching-time spectrum for behavioral specification theories. Zbl 1433.68214
Fahrenberg, Uli; Legay, Axel
2
2020
A partial evaluation framework for order-sorted equational programs modulo axioms. Zbl 07161321
Alpuente, M.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J.
2
2020
Declarative debugging of concurrent Erlang programs. Zbl 1400.68052
Caballero, Rafael; Martin-Martin, Enrique; Riesco, Adrián; Tamarit, Salvador
2
2018
A logic-algebraic tool for reasoning with knowledge-based systems. Zbl 1400.68210
Alonso-Jiménez, José A.; Aranda-Corral, Gonzalo A.; Borrego-Díaz, Joaquín; Fernández-Lebrón, M. Magdalena; José Hidalgo-Doblado, M.
2
2018
Probabilistic timed graph transformation systems. Zbl 1400.68058
Maximova, Maria; Giese, Holger; Krause, Christian
2
2018
Multiparty session types, beyond duality. Zbl 1395.68199
Scalas, Alceste; Yoshida, Nobuko
2
2018
The PBPO graph transformation approach. Zbl 1417.68075
Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila
2
2019
Specifying with syntactic theory functors. Zbl 1433.68221
Haveraaen, Magne; Roggenbach, Markus
2
2020
The quintuple implication principle of fuzzy reasoning based on interval-valued S-implication. Zbl 1400.68221
Li, Dechao; Qin, Sijian
2
2018
A hybrid automata model of social networking addiction. Zbl 1418.91431
Nasti, Lucia; Milazzo, Paolo
2
2018
Reduction semantics in Markovian process algebra. Zbl 1430.68160
Bravetti, Mario
2
2018
Verification of finite-state machines: a distributed approach. Zbl 1430.68152
Gorrieri, Roberto
2
2018
Behavioural semantics for asynchronous components. Zbl 1407.68271
Ameur-Boulifa, R.; Henrio, L.; Kulankhina, O.; Madelaine, E.; Savu, A.
2
2017
Algebraic solution of tropical optimization problems via matrix sparsification with application to scheduling. Zbl 1386.90174
Krivulin, Nikolai
2
2017
Observational and behavioural equivalences for soft concurrent constraint programming. Zbl 1373.68176
Gadducci, Fabio; Santini, Francesco; Pino, Luis F.; Valencia, Frank D.
2
2017
Thresholded semantic framework for a fully integrated fuzzy logic language. Zbl 1372.68053
Julián-Iranzo, Pascual; Moreno, Ginés; Penabad, Jaime
2
2017
ST-structures. Zbl 1353.68208
Johansen, Christian
2
2016
Orchestrated session compliance. Zbl 1353.68023
Barbanera, Franco; van Bakel, Steffen; de’Liguoro, Ugo
2
2017
An analysis of the equational properties of the well-founded fixed point. Zbl 1373.06004
Carayol, Arnaud; Ésik, Zoltán
2
2017
Factor theory and the unity of opposites. Zbl 1355.68180
Backhouse, Roland
2
2016
Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers. Zbl 1375.18027
Hinze, Ralf; Marsden, Dan
2
2016
Possible values: exploring a concept for concurrency. Zbl 1355.68043
Jones, Cliff B.; Hayes, Ian J.
2
2016
A divertimento on MonadPlus and nondeterminism. Zbl 1355.68041
Uustalu, Tarmo
2
2016
A behavioural theory for a \(\pi\)-calculus with preorders. Zbl 1330.68205
Hirschkoff, Daniel; Madiot, Jean-Marie; Xian, Xu
2
2015
A coalgebraic semantics for causality in Petri nets. Zbl 1330.68196
Bruni, Roberto; Montanari, Ugo; Sammartino, Matteo
2
2015
An optimal resource sharing protocol for generalized multiframe tasks. Zbl 1304.68024
Ekberg, Pontus; Guan, Nan; Stigge, Martin; Yi, Wang
2
2015
Models of computation for partial functions on the reals. Zbl 1320.68079
Fu, Ming Quan; Zucker, Jeffery
2
2015
Infinite executions of lazy and strict computations. Zbl 1329.68112
Guttmann, Walter
2
2015
Deciding Kleene algebra terms equivalence in Coq. Zbl 1329.68232
Moreira, Nelma; Pereira, David; Melo de Sousa, Simão
2
2015
Minimal type inference for linked data consumers. Zbl 1329.68085
Ciobanu, Gabriel; Horne, Ross; Sassone, Vladimiro
2
2015
Discrete dualities for some algebras with relations. Zbl 1434.68556
Düntsch, Ivo; Orłowska, Ewa
2
2014
Foundations for structuring behavioural specifications. Zbl 1434.68305
Diaconescu, Răzvan; Ţuţu, Ionuţ
2
2014
Algebraic properties of stochastic effectivity functions. Zbl 1434.68336
Doberkat, Ernst-Erich
2
2014
A sound and complete reasoning system for asynchronous communication with shared futures. Zbl 1371.68190
Din, Crystal Chang; Owe, Olaf
2
2014
Towards the flexible reuse of model transformations: a formal approach based on graph transformation. Zbl 1371.68055
de Lara, Juan; Guerra, Esther
2
2014
Strategies, model checking and branching-time properties in Maude. Zbl 07419543
Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto
2
2021
A modular framework for verifying versatile distributed systems. Zbl 1435.68191
Chevrou, Florent; Hurault, Aurélie; Quéinnec, Philippe
1
2019
A denotational semantics of textually aligned SPMD programs. Zbl 1435.68058
Dabrowski, Frédéric
1
2019
Connecting open systems of communicating finite state machines. Zbl 1435.68211
Barbanera, Franco; de’Liguoro, Ugo; Hennicker, Rolf
1
2019
Axiomatization and characterization of BSP algorithms. Zbl 1435.68187
Marquer, Yoann; Gava, Frédéric
1
2019
Ensuring liveness properties of distributed systems: open problems. Zbl 1435.68216
van Glabbeek, Rob
1
2019
Event structure semantics of (controlled) reversible CCS. Zbl 07377686
Graversen, Eva; Phillips, Iain; Yoshida, Nobuko
3
2021
Strategies, model checking and branching-time properties in Maude. Zbl 07419543
Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto
2
2021
Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations. Zbl 1458.90393
Corradini, Flavio; Morichetta, Andrea; Muzi, Chiara; Re, Barbara; Tiezzi, Francesco
1
2021
Conflict vs causality in event structures. Zbl 07316064
Gorla, Daniele; Salvo, Ivano
1
2021
Computer says no: verdict explainability for runtime monitors using a local proof system. Zbl 1455.68103
Francalanza, Adrian; Cini, Clare
1
2021
Applications and extensions of context-sensitive rewriting. Zbl 07377682
Lucas, Salvador
1
2021
Programming and symbolic computation in Maude. Zbl 07161317
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn
3
2020
Generalized rewrite theories, coherence completion, and symbolic methods. Zbl 07161316
Meseguer, José
2
2020
A linear-time-branching-time spectrum for behavioral specification theories. Zbl 1433.68214
Fahrenberg, Uli; Legay, Axel
2
2020
A partial evaluation framework for order-sorted equational programs modulo axioms. Zbl 07161321
Alpuente, M.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J.
2
2020
Specifying with syntactic theory functors. Zbl 1433.68221
Haveraaen, Magne; Roggenbach, Markus
2
2020
Leveraging access mode declarations in a model for memory consistency in heterogeneous systems. Zbl 07161318
Henrio, Ludovic; Kessler, Christoph; Li, Lu
1
2020
A calculus of concurrent graph-rewriting processes. Zbl 07161320
Kulcsár, Géza; Corradini, Andrea; Lochau, Malte
1
2020
Abstracting models of strong normalization for classical calculi. Zbl 07161325
Downen, Paul; Johnson-Freyd, Philip; Ariola, Zena M.
1
2020
Ground confluence of order-sorted conditional specifications modulo axioms. Zbl 07161326
Durán, Francisco; Meseguer, José; Rocha, Camilo
1
2020
Determinizing monitors for HML with recursion. Zbl 07161328
Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Sævar Örn
1
2020
Process calculi as a tool for studying coordination, contracts and session types. Zbl 07189660
Bravetti, Mario; Zavattaro, Gianluigi
1
2020
A verified proof checker for higher-order logic. Zbl 1433.68527
Abrahamsson, Oskar
1
2020
Knowledge representation and update in hierarchies of graphs. Zbl 1441.68245
Harmer, Russ; Oshurko, Eugenia
1
2020
Hybrid search plan generation for generalized graph pattern matching. Zbl 1451.68198
Barkowsky, Matthias; Giese, Holger
1
2020
Constructing optimized constraint-preserving application conditions for model transformation rules. Zbl 1451.68140
Nassar, Nebras; Kosiol, Jens; Arendt, Thorsten; Taentzer, Gabriele
1
2020
From global choreographies to verifiable efficient distributed implementations. Zbl 1452.68125
Jaber, Mohamad; Falcone, Yliès; Attie, Paul; Khalil, Al-Abbass; Hallal, Rayan; El-Hokayem, Antoine
1
2020
Replacement freeness: a criterion for separating process calculi. Zbl 1462.68126
Pugliese, Rosario; Tiezzi, Francesco
1
2020
On the group memory complexity of extended finite automata over groups. Zbl 1462.68099
Arroyo, Fernando; Mitrana, Victor; Păun, Andrei; Păun, Mihaela; Sanchez Couso, Jose Ramon
1
2020
On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems. Zbl 1435.68131
Azzi, Guilherme Grochau; Corradini, Andrea; Ribeiro, Leila
4
2019
Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours. Zbl 1408.68101
Fischer, Nick; van Glabbeek, Rob
3
2019
Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach. Zbl 1417.68078
Lambers, Leen; Born, Kristopher; Kosiol, Jens; Strüber, Daniel; Taentzer, Gabriele
3
2019
Towards a categorical representation of reversible event structures. Zbl 1427.68196
Graversen, Eva; Phillips, Iain; Yoshida, Nobuko
3
2019
Introspection as an action in relational models. Zbl 1435.03035
Fervari, Raul; Velázquez-Quesada, Fernando R.
2
2019
Realisability of pomsets. Zbl 1435.68213
Guanciale, Roberto; Tuosto, Emilio
2
2019
Graph transformation through graph surfing in reaction systems. Zbl 1435.68135
Kreowski, Hans-Jörg; Rozenberg, Grzegorz
2
2019
The PBPO graph transformation approach. Zbl 1417.68075
Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila
2
2019
A modular framework for verifying versatile distributed systems. Zbl 1435.68191
Chevrou, Florent; Hurault, Aurélie; Quéinnec, Philippe
1
2019
A denotational semantics of textually aligned SPMD programs. Zbl 1435.68058
Dabrowski, Frédéric
1
2019
Connecting open systems of communicating finite state machines. Zbl 1435.68211
Barbanera, Franco; de’Liguoro, Ugo; Hennicker, Rolf
1
2019
Axiomatization and characterization of BSP algorithms. Zbl 1435.68187
Marquer, Yoann; Gava, Frédéric
1
2019
Ensuring liveness properties of distributed systems: open problems. Zbl 1435.68216
van Glabbeek, Rob
1
2019
CoReS: a tool for computing core graphs via SAT/SMT solvers. Zbl 1435.68174
König, Barbara; Nederkorn, Maxime; Nolte, Dennis
1
2019
From distributed coordination to field calculus and aggregate computing. Zbl 1435.68049
Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo
1
2019
A calculus for modeling floating authorizations. Zbl 1431.68080
Prokić, Ivan; Pantović, Jovanka; Vieira, Hugo Torres
1
2019
Session types and subtyping for orchestrated interactions. Zbl 1433.68232
Barbanera, Franco; de’Liguoro, Ugo
1
2019
Operational semantics of a weak memory model with channel synchronization. Zbl 1417.68093
Fava, Daniel S.; Steffen, Martin; Stolz, Volker
1
2019
Domain and range for angelic and demonic compositions. Zbl 1417.68033
Jackson, Marcel; Mikulás, Szabolcs
1
2019
On series-parallel pomset languages: rationality, context-freeness and automata. Zbl 1417.68134
Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio
1
2019
An evaluation of interaction paradigms for active objects. Zbl 1417.68023
Karami, Farzane; Owe, Olaf; Ramezanifarkhani, Toktam
1
2019
Keep it fair: equivalence and composition. Zbl 1431.68077
Mennicke, Stephan; Prehn, Tobias
1
2019
Nested-unit Petri nets. Zbl 1427.68195
Garavel, Hubert
1
2019
Precise subtyping for synchronous multiparty sessions. Zbl 1423.68306
Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka; Scalas, Alceste; Yoshida, Nobuko
1
2019
Specifying graph languages with type graphs. Zbl 1423.68248
Corradini, Andrea; König, Barbara; Nolte, Dennis
1
2019
A stable non-interleaving early operational semantics for the pi-calculus. Zbl 1423.68308
Hildebrandt, Thomas Troels; Johansen, Christian; Normann, Håkon
1
2019
Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement. Zbl 1423.68230
Drewes, Frank; Hoffmann, Berthold; Minas, Mark
1
2019
A (co)algebraic theory of succinct automata. Zbl 1423.68300
van Heerdt, Gerco; Moerman, Joshua; Sammartino, Matteo; Silva, Alexandra
1
2019
Formalization of functional variation in HOL Light. Zbl 1423.68427
Zhang, Jingzhi; Wang, Guohui; Shi, Zhiping; Guan, Yong; Li, Yongdong
1
2019
Latent semantic analysis of game models using LSTM. Zbl 1423.68086
Ghica, Dan R.; Alyahya, Khulood
1
2019
A logical study of group-size based social network creation. Zbl 1425.91379
Smets, Sonja; Velázquez-Quesada, Fernando R.
1
2019
Multilevel coupled model transformations for precise and reusable definition of model behaviour. Zbl 1423.68105
Macías, Fernando; Wolter, Uwe; Rutle, Adrian; Durán, Francisco; Rodriguez-Echeverria, Roberto
1
2019
A theory of reversibility for Erlang. Zbl 1400.68046
Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán
6
2018
From probability monads to commutative effectuses. Zbl 1382.68073
Jacobs, Bart
6
2018
Metalevel algorithms for variant satisfiability. Zbl 1430.68423
Skeirik, Stephen; Meseguer, José
5
2018
On the metric-based approximate minimization of Markov chains. Zbl 1400.68098
Bacci, Giovanni; Bacci, Giorgio; Larsen, Kim G.; Mardare, Radu
4
2018
Complete algebraic solution of multidimensional optimization problems in tropical semifield. Zbl 1412.90143
Krivulin, Nikolai
3
2018
Labelled graph strategic rewriting for social networks. Zbl 1430.68134
Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno; Vallet, Jason
3
2018
Declarative debugging of concurrent Erlang programs. Zbl 1400.68052
Caballero, Rafael; Martin-Martin, Enrique; Riesco, Adrián; Tamarit, Salvador
2
2018
A logic-algebraic tool for reasoning with knowledge-based systems. Zbl 1400.68210
Alonso-Jiménez, José A.; Aranda-Corral, Gonzalo A.; Borrego-Díaz, Joaquín; Fernández-Lebrón, M. Magdalena; José Hidalgo-Doblado, M.
2
2018
Probabilistic timed graph transformation systems. Zbl 1400.68058
Maximova, Maria; Giese, Holger; Krause, Christian
2
2018
Multiparty session types, beyond duality. Zbl 1395.68199
Scalas, Alceste; Yoshida, Nobuko
2
2018
The quintuple implication principle of fuzzy reasoning based on interval-valued S-implication. Zbl 1400.68221
Li, Dechao; Qin, Sijian
2
2018
A hybrid automata model of social networking addiction. Zbl 1418.91431
Nasti, Lucia; Milazzo, Paolo
2
2018
Reduction semantics in Markovian process algebra. Zbl 1430.68160
Bravetti, Mario
2
2018
Verification of finite-state machines: a distributed approach. Zbl 1430.68152
Gorrieri, Roberto
2
2018
Logic programming: laxness and saturation. Zbl 1400.68049
Komendantskaya, Ekaterina; Power, John
1
2018
Lock-free concurrent binomial heaps. Zbl 1400.68063
Lowe, Gavin
1
2018
Verifying minimum spanning tree algorithms with Stone relation algebras. Zbl 1401.68247
Guttmann, Walter
1
2018
Algorithmic debugging generalized. Zbl 1395.68094
Insa, David; Silva, Josep
1
2018
A perspective on specifying and verifying concurrent modules. Zbl 1395.68187
Dinsdale-Young, Thomas; da Rocha Pinto, Pedro; Gardner, Philippa
1
2018
Inferring regular languages and \(\omega\)-languages. Zbl 1394.68211
Fisman, Dana
1
2018
A secrecy-preserving language for distributed and object-oriented systems. Zbl 1395.68198
Ramezanifarkhani, Toktam; Owe, Olaf; Tokas, Shukun
1
2018
On clock-aware LTL parameter synthesis of timed automata. Zbl 1395.68164
Bezděk, Peter; Beneš, Nikola; Černá, Ivana; Barnat, Jiří
1
2018
Best-by-simulations: a framework for comparing efficiency of reconfigurable architectures on workloads with deadlines. Zbl 1400.68043
Prasad, Sanjiva
1
2018
A type checking algorithm for concurrent object protocols. Zbl 1400.68141
Padovani, Luca
1
2018
Demand-driven interprocedural analysis for map-based abstract domains. Zbl 1400.68054
Apinis, Kalmer; Vene, Varmo; Vojdani, Vesal
1
2018
Bestow and atomic: concurrent programming using isolation, delegation and grouping. Zbl 1400.68053
Castegren, Elias; Wallin, Joel; Wrigstad, Tobias
1
2018
An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation. Zbl 1400.68133
Gregorio-Rodríguez, Carlos; Llana, Luis; Martínez, Rafael
1
2018
Programming from metaphorisms. Zbl 1381.68058
Oliveira, José Nuno
1
2018
To every manifest domain a CSP expression – a rôle for mereology in computer science. Zbl 1382.68050
Bjørner, Dines
1
2018
Virtually timed ambients: a calculus of nested virtualization. Zbl 1381.68205
Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate
1
2018
Reversible computation in term rewriting. Zbl 1381.68107
Nishida, Naoki; Palacios, Adrián; Vidal, Germán
1
2018
ULTraS at work: compositionality metaresults for bisimulation and trace semantics. Zbl 1381.68195
Bernardo, Marco
1
2018
Causal-consistent rollback in a tuple-based language. Zbl 1362.68213
Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco
8
2017
Algebraic modal correspondence: Sahlqvist and beyond. Zbl 06767310
Conradie, Willem; Palmigiano, Alessandra; Sourabh, Sumit
7
2017
Contextual equivalences in configuration structures and reversibility. Zbl 1353.68193
Aubert, Clément; Cristescu, Ioana
6
2017
Dependency pairs for proving termination properties of conditional term rewriting systems. Zbl 1353.68155
Lucas, Salvador; Meseguer, José
6
2017
Belief, knowledge, lies and other utterances in an algebra for space and extrusion. Zbl 1353.68203
Guzman, Michell; Haar, Stefan; Perchy, Salim; Rueda, Camilo; Valencia, Frank D.
4
2017
Verifiable abstractions for contract-oriented systems. Zbl 1353.68194
Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto
3
2017
Rewriting modulo SMT and open system analysis. Zbl 1353.68156
Rocha, Camilo; Meseguer, José; Muñoz, César
3
2017
Join inverse categories and reversible recursion. Zbl 1359.68045
Kaarsgaard, Robin; Bock Axelsen, Holger; Glück, Robert
3
2017
Some undecidable properties of SOS specifications. Zbl 1359.68196
Klin, Bartek; Nachyła, Beata
3
2017
Solving computational tasks on finite topologies by means of relation algebra and the RelView tool. Zbl 1362.68297
Berghammer, Rudolf; Winter, Michael
3
2017
Behavioural semantics for asynchronous components. Zbl 1407.68271
Ameur-Boulifa, R.; Henrio, L.; Kulankhina, O.; Madelaine, E.; Savu, A.
2
2017
Algebraic solution of tropical optimization problems via matrix sparsification with application to scheduling. Zbl 1386.90174
Krivulin, Nikolai
2
2017
...and 94 more Documents
all top 5

Cited by 575 Authors

11 Meseguer Guaita, José
9 Xu, Xiaoquan
7 Dezani-Ciancaglini, Mariangiola
7 Guttmann, Walter
7 Lanese, Ivan
7 Lucas, Salvador
7 Palmigiano, Alessandra
7 Zhao, Dongsheng
6 Berghammer, Rudolf
6 Conradie, Willem J.
6 Jacobs, Bart
6 Yoshida, Nobuko
6 Zanasi, Fabio
5 Larsen, Kim Guldstrand
5 Neves, Renato
5 Nielson, Flemming
5 Phillips, Iain W.
5 Riis Nielson, Hanne
5 Silva, Alexandra
4 Barbanera, Franco
4 Bartoletti, Massimo
4 Castellani, Ilaria
4 Durán, Francisco
4 Gutiérrez, Raúl
4 Kappé, Tobias
4 Li, Qingguo
4 Lu, Jing
4 Madeira, Alexandre
4 Mardare, Radu
4 Martí-Oliet, Narciso
4 Martins, Manuel António
4 Mezzina, Claudio Antares
4 Möller, Bernhard
4 Pérez, Jorge A.
4 Pretnar, Matija
4 Rubio, Rubén
4 Struth, Georg
4 Winter, Michael
4 Zhao, Bin
3 Alpuente, María
3 Bacci, Giorgio
3 Bacci, Giovanni
3 Bergstra, Jan A.
3 Bhaduri, Purandar
3 Bonchi, Filippo
3 Bravetti, Mario
3 Brunet, Paul
3 de’Liguoro, Ugo
3 Escobar, Santiago
3 Giannini, Paola
3 Graversen, Eva
3 Höfner, Peter
3 Johansen, Christian
3 Kaarsgaard, Robin
3 Lindley, Sam
3 Luttik, Bas
3 Orejas, Fernando
3 Owe, Olaf
3 Panicker, Gayatri
3 Pinna, G. Michele
3 Pita, Isabel
3 Rot, Jurriaan
3 Rusu, Vlad
3 Santocanale, Luigi
3 Shen, Chong
3 Stell, John G.
3 Tribastone, Mirco
3 Tuosto, Emilio
3 Ulidowski, Irek
3 Vandin, Andrea
3 Verdejo, Alberto
3 Vidal, Germán
3 Wang, Kaiyun
3 Xi, Xiaoyong
3 Zhu, Huibiao
3 Zunino, Roberto
2 Aceto, Luca
2 Amblard, Maxime
2 Amiraslani, Amirhossein
2 Arbab, Farhad
2 Arusoaie, Andrei
2 Atkey, Robert
2 Ballis, Demis
2 Barbosa, Luís Soares
2 Benevides, Mario R. F.
2 Bottoni, Paolo
2 Brengos, Tomasz
2 Cardelli, Luca
2 Chifflier, Pierre
2 Ciobanu, Gabriel
2 Corradini, Andrea
2 Degano, Pierpaolo
2 Diaconescu, Răzvan
2 Dimovski, Aleksandar S.
2 Doberkat, Ernst-Erich
2 Echahed, Rachid
2 Fábregas, Ignacio
2 Fahrenberg, Uli
2 Fernández, Maribel
2 Ghalandarzadeh, Shaban
...and 475 more Authors
all top 5

Cited in 52 Journals

82 Journal of Logical and Algebraic Methods in Programming
31 Logical Methods in Computer Science
23 Theoretical Computer Science
14 Topology and its Applications
14 Formal Aspects of Computing
9 Acta Informatica
8 Journal of Automated Reasoning
7 MSCS. Mathematical Structures in Computer Science
7 Journal of Functional Programming
5 Information and Computation
5 International Journal of Approximate Reasoning
4 Algebra Universalis
2 Information Processing Letters
2 Annals of Pure and Applied Logic
2 Real-Time Systems
2 International Journal of Algebra and Computation
2 Vestnik St. Petersburg University. Mathematics
2 Fundamenta Informaticae
2 Mathematics in Computer Science
2 Frontiers of Computer Science
1 Discrete Mathematics
1 Journal of Mathematical Physics
1 Rocky Mountain Journal of Mathematics
1 Applied Mathematics and Computation
1 Automatica
1 Fuzzy Sets and Systems
1 Information Sciences
1 Journal of Computer and System Sciences
1 Monatshefte für Mathematik
1 Journal of Symbolic Computation
1 Discrete Event Dynamic Systems
1 Applicable Algebra in Engineering, Communication and Computing
1 Formal Methods in System Design
1 Journal of Logic, Language and Information
1 Applied Categorical Structures
1 Annals of Mathematics and Artificial Intelligence
1 Theory of Computing Systems
1 Soft Computing
1 Acta Mathematica Sinica. English Series
1 The Journal of Logic and Algebraic Programming
1 Logic and Logical Philosophy
1 Theory and Practice of Logic Programming
1 Journal of Algebra and its Applications
1 Journal of Applied Logic
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Annali dell’Università di Ferrara. Sezione VII. Scienze Matematiche
1 Logica Universalis
1 The Review of Symbolic Logic
1 Symmetry
1 Mathematical Sciences
1 Open Mathematics
1 Journal of Membrane Computing

Citations by Year