books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 103
Main
Journal of Logical and Algebraic Methods in Programming
Volume 103
Journal of Logical and Algebraic Methods in Programming
Volume 103
1
Designing context-aware systems: A method for understanding and analysing context in practice
van Engelenburg, Sélinde
,
Janssen, Marijn
,
Klievink, Bram
Journal:
Journal of Logical and Algebraic Methods in Programming
Year:
2019
Language:
english
File:
PDF, 1.83 MB
Your tags:
english, 2019
2
An evaluation of interaction paradigms for active objects
Karami, Farzane
,
Owe, Olaf
,
Ramezanifarkhani, Toktam
Journal:
Journal of Logical and Algebraic Methods in Programming
Year:
2019
File:
PDF, 834 KB
Your tags:
2019
3
On series-parallel pomset languages: Rationality, context-freeness and automata
Kappé, Tobias
,
Brunet, Paul
,
Luttik, Bas
,
Silva, Alexandra
,
Zanasi, Fabio
Journal:
Journal of Logical and Algebraic Methods in Programming
Year:
2019
File:
PDF, 684 KB
Your tags:
2019
4
The PBPO graph transformation approach
Corradini, Andrea
,
Duval, Dominique
,
Echahed, Rachid
,
Prost, Frédéric
,
Ribeiro, Leila
Journal:
Journal of Logical and Algebraic Methods in Programming
Year:
2019
File:
PDF, 542 KB
Your tags:
2019
5
Operational semantics of a weak memory model with channel synchronization
Fava, Daniel S.
,
Steffen, Martin
,
Stolz, Volker
Journal:
Journal of Logical and Algebraic Methods in Programming
Year:
2019
Language:
english
File:
PDF, 1.41 MB
Your tags:
english, 2019
6
Verification and control for probabilistic hybrid automata with finite bisimulations
Sproston, Jeremy
Journal:
Journal of Logical and Algebraic Methods in Programming
Year:
2019
File:
PDF, 781 KB
Your tags:
2019
7
Domain and range for angelic and demonic compositions
Jackson, Marcel
,
Mikulás, Szabolcs
Journal:
Journal of Logical and Algebraic Methods in Programming
Year:
2019
File:
PDF, 545 KB
Your tags:
2019
8
Executable component-based semantics
van Binsbergen, L. Thomas
,
Mosses, Peter D.
,
Sculthorpe, Neil
Journal:
Journal of Logical and Algebraic Methods in Programming
Year:
2019
Language:
english
File:
PDF, 1.57 MB
Your tags:
english, 2019
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×