×

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: 407 Publications (since 2014)
References Indexed: 379 Publications with 14,538 References.
all top 5

Authors

11 Berghammer, Rudolf
9 Meseguer Guaita, José
9 Möller, Bernhard
8 Winter, Michael
7 Höfner, Peter
7 Vieira, Hugo Torres
7 Yoshida, Nobuko
6 Guttmann, Walter
6 Owe, Olaf
6 Tiezzi, Francesco
5 Aceto, Luca
5 Bartoletti, Massimo
5 Furusawa, Hitoshi
5 Ingólfsdóttir, Anna
5 Lanese, Ivan
5 Silva, Alexandra
5 Struth, Georg
4 Barbanera, Franco
4 Bravetti, Mario
4 Corradini, Andrea
4 Durán, Francisco
4 Escobar, Santiago
4 Henrio, Ludovic
4 Johansen, Christian
4 Kahl, Wolfram
4 Knight, Sophia
4 Larsen, Kim Guldstrand
4 Lucas, Salvador
4 Nishida, Naoki
4 Pantović, Jovanka
4 Steffen, Martin
4 Stolz, Volker
4 ter Beek, Maurice H.
4 Uustalu, Tarmo
3 Arusoaie, Andrei
3 Bliudze, Simon
3 Castellani, Ilaria
3 de’Liguoro, Ugo
3 Dezani-Ciancaglini, Mariangiola
3 Francalanza, Adrian
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 Pérez, Jorge A.
3 Phillips, Iain W.
3 Pun, Ka I.
3 Ravara, António
3 Rusu, Vlad
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 Tuosto, Emilio
3 Valencia, Frank D.
3 Vidal, Germán
2 Achilleos, Antonis
2 Albert, Elvira
2 Alpuente, María
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
2 Fu, Ming Quan
2 Gadducci, Fabio
2 Garavel, Hubert
2 Ghilezan, Silvia
2 Giachino, Elena
2 Giese, Holger
2 Gnesi, Stefania
2 Gorla, Daniele
...and 646 more Authors

Publications by Year

Citations contained in zbMATH Open

172 Publications have been cited 388 times in 308 Documents Cited by Year
On topologies defined by irreducible sets. Zbl 1308.54019
Zhao, Dongsheng; Ho, Weng Kin
18
2015
Programming with algebraic effects and handlers. Zbl 1304.68025
Bauer, Andrej; Pretnar, Matija
16
2015
Normal forms and normal theories in conditional rewriting. Zbl 1356.68124
Lucas, Salvador; Meseguer, José
9
2016
Reversibility and asymmetric conflict in event structures. Zbl 1330.68213
Phillips, Iain; Ulidowski, Irek
8
2015
Causal-consistent rollback in a tuple-based language. Zbl 1362.68213
Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco
7
2017
Algebraic modal correspondence: Sahlqvist and beyond. Zbl 06767310
Conradie, Willem; Palmigiano, Alessandra; Sourabh, Sumit
7
2017
Reversible session-based pi-calculus. Zbl 1337.68075
Tiezzi, Francesco; Yoshida, Nobuko
7
2015
From probability monads to commutative effectuses. Zbl 1382.68073
Jacobs, Bart
6
2018
Dependency pairs for proving termination properties of conditional term rewriting systems. Zbl 1353.68155
Lucas, Salvador; Meseguer, José
6
2017
Behavioural equivalences for coalgebras with unobservable moves. Zbl 1330.68195
Brengos, Tomasz; Miculan, Marino; Peressotti, Marco
6
2015
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
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
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
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
Executable rewriting logic semantics of Orc and formal analysis of Orc programs. Zbl 1329.68169
AlTurki, Musab A.; Meseguer, José
4
2015
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
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
Metalevel algorithms for variant satisfiability. Zbl 1430.68423
Skeirik, Stephen; Meseguer, José
4
2018
On the metric-based approximate minimization of Markov chains. Zbl 1400.68098
Bacci, Giovanni; Bacci, Giorgio; Larsen, Kim G.; Mardare, Radu
4
2018
Developments in concurrent Kleene algebra. Zbl 1344.68149
Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao
4
2016
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
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
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
Programming and automating mathematics in the Tarski-Kleene hierarchy. Zbl 1434.68637
Armstrong, Alasdair; Struth, Georg; Weber, Tjark
4
2014
The structure of finite meadows. Zbl 1319.68145
Bethke, Inge; Rodenburg, Piet; Sevenster, Arjen
3
2015
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
Contextual equivalences in configuration structures and reversibility. Zbl 1353.68193
Aubert, Clément; Cristescu, Ioana
3
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
Cardinality of relations and relational approximation algorithms. Zbl 1351.68152
Berghammer, Rudolf; Höfner, Peter; Stucke, Insa
3
2016
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
Maximizing entropy over Markov processes. Zbl 1371.68175
Biondi, Fabrizio; Legay, Axel; Nielsen, Bo Friis; Wąsowski, Andrzej
3
2014
A theory of reversibility for Erlang. Zbl 1400.68046
Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán
3
2018
Relation lifting, a survey. Zbl 1344.68167
Kurz, Alexander; Velebil, Jiří
3
2016
Relational lattices: from databases to universal algebra. Zbl 1372.68081
Litak, Tadeusz; Mikulás, Szabolcs; Hidders, Jan
3
2016
Termination criteria for tree automata completion. Zbl 1356.68132
Genet, Thomas
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
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
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
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
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
Labelled graph strategic rewriting for social networks. Zbl 1430.68134
Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno; Vallet, Jason
2
2018
Reduction semantics in Markovian process algebra. Zbl 1430.68160
Bravetti, Mario
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 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
Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours. Zbl 1408.68101
Fischer, Nick; van Glabbeek, Rob
2
2019
Concurrent Kleene algebra with tests and branching automata. Zbl 1344.68083
Jipsen, Peter; Moshier, M. Andrew
2
2016
Product programs and relational program logics. Zbl 1355.68047
Barthe, Gilles; Crespo, Juan Manuel; Kunz, César
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
An optimal resource sharing protocol for generalized multiframe tasks. Zbl 1304.68024
Ekberg, Pontus; Guan, Nan; Stigge, Martin; Yi, Wang
2
2015
Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases. Zbl 1304.68026
Goubault-Larrecq, Jean
2
2015
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
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
Graph transformation through graph surfing in reaction systems. Zbl 1435.68135
Kreowski, Hans-Jörg; Rozenberg, Grzegorz
2
2019
A linear-time-branching-time spectrum for behavioral specification theories. Zbl 1433.68214
Fahrenberg, Uli; Legay, Axel
2
2020
The PBPO graph transformation approach. Zbl 1417.68075
Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila
2
2019
Towards a categorical representation of reversible event structures. Zbl 1427.68196
Graversen, Eva; Phillips, Iain; Yoshida, Nobuko
2
2019
Complete algebraic solution of multidimensional optimization problems in tropical semifield. Zbl 1412.90143
Krivulin, Nikolai
2
2018
Multiparty session types, beyond duality. Zbl 1395.68199
Scalas, Alceste; Yoshida, Nobuko
2
2018
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
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
Extended transitive separation logic. Zbl 1330.03071
Dang, Han-Hing; Möller, Bernhard B.
1
2015
Completeness results for omega-regular algebras. Zbl 1335.68155
Cranch, James; Laurence, Michael R.; Struth, Georg
1
2015
An algebra of database preferences. Zbl 1329.68094
Möller, Bernhard; Roocks, Patrick
1
2015
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
Input-output conformance testing for software product lines. Zbl 1392.68144
Beohar, Harsh; Mousavi, Mohammad Reza
1
2016
Structural congruence for bialgebraic semantics. Zbl 1353.68173
Rot, Jurriaan; Bonsangue, Marcello
1
2016
LCTD: test-guided proofs for C programs on LLVM. Zbl 1392.68149
Saarikivi, Olli; Heljanko, Keijo
1
2016
Combine and conquer: relating BIP and Reo. Zbl 1353.68201
Dokter, Kasper; Jongmans, Sung-Shik; Arbab, Farhad; Bliudze, Simon
1
2017
Amalgamation of domain specific languages with behaviour. Zbl 1353.68028
Durán, Francisco; Moreno-Delgado, Antonio; Orejas, Fernando; Zschaler, Steffen
1
2017
Robustness of interval-valued fuzzy inference triple I algorithms based on normalized Minkowski distance. Zbl 1431.03042
Luo, Minxia; Liu, Bei
1
2017
Conflicting accounts of \(\lambda\)-definability. Zbl 1403.03020
Jay, Barry; Vergara, Jose
1
2017
Content dependent information flow control. Zbl 1359.68050
Nielson, Hanne Riis; Nielson, Flemming
1
2017
A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols. Zbl 1359.68023
Delaune, Stéphanie; Hirschi, Lucca
1
2017
A stochastic interpretation of game logic. Zbl 06696083
Doberkat, Ernst-Erich
1
2017
From imperative to rule-based graph programs. Zbl 1362.68032
Plump, Detlef
1
2017
Flag-based big-step semantics. Zbl 1362.68160
Bach Poulsen, Casper; Mosses, Peter D.
1
2017
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
A linear-time-branching-time spectrum for behavioral specification theories. Zbl 1433.68214
Fahrenberg, Uli; Legay, Axel
2
2020
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
1
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
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
Process calculi as a tool for studying coordination, contracts and session types. Zbl 07189660
Bravetti, Mario; Zavattaro, Gianluigi
1
2020
Specifying with syntactic theory functors. Zbl 1433.68221
Haveraaen, Magne; Roggenbach, Markus
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
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
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
Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours. Zbl 1408.68101
Fischer, Nick; van Glabbeek, Rob
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
Towards a categorical representation of reversible event structures. Zbl 1427.68196
Graversen, Eva; Phillips, Iain; Yoshida, Nobuko
2
2019
Session types and subtyping for orchestrated interactions. Zbl 1433.68232
Barbanera, Franco; de’Liguoro, Ugo
1
2019
Introspection as an action in relational models. Zbl 1435.03035
Fervari, Raul; Velázquez-Quesada, Fernando R.
1
2019
A modular framework for verifying versatile distributed systems. Zbl 1435.68191
Chevrou, Florent; Hurault, Aurélie; Quéinnec, Philippe
1
2019
Realisability of pomsets. Zbl 1435.68213
Guanciale, Roberto; Tuosto, Emilio
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
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
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
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
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 calculus for modeling floating authorizations. Zbl 1431.68080
Prokić, Ivan; Pantović, Jovanka; Vieira, Hugo Torres
1
2019
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é
4
2018
On the metric-based approximate minimization of Markov chains. Zbl 1400.68098
Bacci, Giovanni; Bacci, Giorgio; Larsen, Kim G.; Mardare, Radu
4
2018
A theory of reversibility for Erlang. Zbl 1400.68046
Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán
3
2018
Labelled graph strategic rewriting for social networks. Zbl 1430.68134
Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno; Vallet, Jason
2
2018
Reduction semantics in Markovian process algebra. Zbl 1430.68160
Bravetti, Mario
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 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
Complete algebraic solution of multidimensional optimization problems in tropical semifield. Zbl 1412.90143
Krivulin, Nikolai
2
2018
Multiparty session types, beyond duality. Zbl 1395.68199
Scalas, Alceste; Yoshida, Nobuko
2
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
Verification of finite-state machines: a distributed approach. Zbl 1430.68152
Gorrieri, Roberto
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
A hybrid automata model of social networking addiction. Zbl 1418.91431
Nasti, Lucia; Milazzo, Paolo
1
2018
Logic programming: laxness and saturation. Zbl 1400.68049
Komendantskaya, Ekaterina; Power, John
1
2018
Declarative debugging of concurrent Erlang programs. Zbl 1400.68052
Caballero, Rafael; Martin-Martin, Enrique; Riesco, Adrián; Tamarit, Salvador
1
2018
Lock-free concurrent binomial heaps. Zbl 1400.68063
Lowe, Gavin
1
2018
Probabilistic timed graph transformation systems. Zbl 1400.68058
Maximova, Maria; Giese, Holger; Krause, Christian
1
2018
Verifying minimum spanning tree algorithms with Stone relation algebras. Zbl 1401.68247
Guttmann, Walter
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
Algorithmic debugging generalized. Zbl 1395.68094
Insa, David; Silva, Josep
1
2018
Causal-consistent rollback in a tuple-based language. Zbl 1362.68213
Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco
7
2017
Algebraic modal correspondence: Sahlqvist and beyond. Zbl 06767310
Conradie, Willem; Palmigiano, Alessandra; Sourabh, Sumit
7
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
Contextual equivalences in configuration structures and reversibility. Zbl 1353.68193
Aubert, Clément; Cristescu, Ioana
3
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
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
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
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
Combine and conquer: relating BIP and Reo. Zbl 1353.68201
Dokter, Kasper; Jongmans, Sung-Shik; Arbab, Farhad; Bliudze, Simon
1
2017
Amalgamation of domain specific languages with behaviour. Zbl 1353.68028
Durán, Francisco; Moreno-Delgado, Antonio; Orejas, Fernando; Zschaler, Steffen
1
2017
Robustness of interval-valued fuzzy inference triple I algorithms based on normalized Minkowski distance. Zbl 1431.03042
Luo, Minxia; Liu, Bei
1
2017
Conflicting accounts of \(\lambda\)-definability. Zbl 1403.03020
Jay, Barry; Vergara, Jose
1
2017
Content dependent information flow control. Zbl 1359.68050
Nielson, Hanne Riis; Nielson, Flemming
1
2017
A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols. Zbl 1359.68023
Delaune, Stéphanie; Hirschi, Lucca
1
2017
A stochastic interpretation of game logic. Zbl 06696083
Doberkat, Ernst-Erich
1
2017
From imperative to rule-based graph programs. Zbl 1362.68032
Plump, Detlef
1
2017
Flag-based big-step semantics. Zbl 1362.68160
Bach Poulsen, Casper; Mosses, Peter D.
1
2017
Completeness and incompleteness in nominal Kleene algebra. Zbl 1372.68064
Kozen, Dexter; Mamouras, Konstantinos; Silva, Alexandra
1
2017
Exploring nominal cellular automata. Zbl 1378.68115
Bolognesi, Tommaso; Ciancia, Vincenzo
1
2017
Data-driven adaptation for smart sessions. Zbl 1371.68188
Bono, Viviana; Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Venneri, Betti
1
2017
Normal forms and normal theories in conditional rewriting. Zbl 1356.68124
Lucas, Salvador; Meseguer, José
9
2016
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
...and 72 more Documents
all top 5

Cited by 523 Authors

11 Meseguer Guaita, José
7 Dezani-Ciancaglini, Mariangiola
7 Guttmann, Walter
7 Lucas, Salvador
7 Palmigiano, Alessandra
7 Xu, Xiaoquan
6 Berghammer, Rudolf
6 Conradie, Willem J.
6 Zhao, Dongsheng
5 Jacobs, Bart
5 Larsen, Kim Guldstrand
5 Neves, Renato
5 Nielson, Flemming
5 Riis Nielson, Hanne
5 Yoshida, Nobuko
5 Zanasi, Fabio
4 Barbanera, Franco
4 Bartoletti, Massimo
4 Castellani, Ilaria
4 Durán, Francisco
4 Gutiérrez, Raúl
4 Lanese, Ivan
4 Li, Qingguo
4 Madeira, Alexandre
4 Mardare, Radu
4 Martins, Manuel António
4 Möller, Bernhard
4 Pérez, Jorge A.
4 Pretnar, Matija
4 Struth, Georg
4 Winter, Michael
3 Bacci, Giorgio
3 Bacci, Giovanni
3 Bergstra, Jan A.
3 Bhaduri, Purandar
3 Bravetti, Mario
3 de’Liguoro, Ugo
3 Giannini, Paola
3 Höfner, Peter
3 Johansen, Christian
3 Kaarsgaard, Robin
3 Lindley, Sam
3 Lu, Jing
3 Mezzina, Claudio Antares
3 Orejas, Fernando
3 Owe, Olaf
3 Panicker, Gayatri
3 Santocanale, Luigi
3 Shen, Chong
3 Silva, Alexandra
3 Stell, John G.
3 Tribastone, Mirco
3 Vandin, Andrea
3 Vidal, Germán
3 Wang, Kaiyun
3 Xi, Xiaoyong
3 Zhao, Bin
3 Zhu, Huibiao
3 Zunino, Roberto
2 Aceto, Luca
2 Alpuente, María
2 Amblard, Maxime
2 Arbab, Farhad
2 Arusoaie, Andrei
2 Atkey, Robert
2 Barbosa, Luís Soares
2 Benevides, Mario R. F.
2 Bonchi, Filippo
2 Bottoni, Paolo
2 Brengos, Tomasz
2 Brunet, Paul
2 Cardelli, Luca
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 Escobar, Santiago
2 Fábregas, Ignacio
2 Fahrenberg, Uli
2 Fernández, Maribel
2 Glück, Robert
2 Graversen, Eva
2 Gregorio-Rodríguez, Carlos
2 Guzmán, Michell
2 Henrio, Ludovic
2 Hillerström, Daniel
2 Hoare, C. A. R. Tony
2 Horne, Ross
2 Ingólfsdóttir, Anna
2 Kappé, Tobias
2 Kirchner, Hélène
2 Lambers, Leen
2 Legay, Axel
2 Luttik, Bas
2 Macedo, Hugo Daniel
2 Madelaine, Eric
2 Maršík, Jirka
...and 423 more Authors
all top 5

Cited in 50 Journals

73 Journal of Logical and Algebraic Methods in Programming
27 Logical Methods in Computer Science
23 Theoretical Computer Science
14 Formal Aspects of Computing
12 Topology and its Applications
8 Acta Informatica
8 Journal of Automated Reasoning
7 MSCS. Mathematical Structures in Computer Science
7 Journal of Functional Programming
5 International Journal of Approximate Reasoning
4 Algebra Universalis
4 Information and Computation
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 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 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