Result 21 to 40 of 309 total
Special issue: The 21st Nordic workshop on programming theory (NWPT 2009). Selected papers based on the presentations at the workshop, Lyngby, Denmark, October 14-16, 2009. (English)
J. Log. Algebr. Program. 81, No. 4, 355-557 (2012).
21
Special issue: The 22nd Nordic workshop on programming theory (NWPT 2010). Papers based on the presentations at the workshop, Turku, Finland, November 10‒12, 2010. (English)
J. Log. Algebr. Program. 81, No. 3, 162-354 (2012).
22
A centralized and a decentralized method to automatically derive choreography-conforming web service systems. (English)
J. Log. Algebr. Program. 81, No. 2, 127-159 (2012).
23
Synthesis of secure adaptors. (English)
J. Log. Algebr. Program. 81, No. 2, 99-126 (2012).
24
A trace-based model for multiparty contracts. (English)
J. Log. Algebr. Program. 81, No. 2, 72-98 (2012).
25
Part special issue: Formal languages and analysis of contract-oriented software (FLACOS’10). Selected papers based on the presentations at the 4th workshop, Pisa, Italy, September 17‒18, 2010. (English)
J. Log. Algebr. Program. 81, No. 2, 71-126 (2012).
26
Extended beam search for non-exhaustive state space analysis. (English)
J. Log. Algebr. Program. 81, No. 1, 46-69 (2012).
27
Generating counterexamples for quantitative safety specifications in probabilistic B. (English)
J. Log. Algebr. Program. 81, No. 1, 26-45 (2012).
28
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. (English)
J. Log. Algebr. Program. 81, No. 1, 2-25 (2012).
29
Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas. (English)
J. Log. Algebr. Program. 80, No. 8, 481-496 (2011).
30
Simple feature engineering via neat default retrenchments. (English)
J. Log. Algebr. Program. 80, No. 8, 453-480 (2011).
31
Efficiency issues in the KBMAG procedure. (English)
J. Log. Algebr. Program. 80, No. 8, 444-452 (2011).
32
On system rollback and totalized fields: an algebraic approach to system change. (English)
J. Log. Algebr. Program. 80, No. 8, 427-443 (2011).
33
Structural operational semantics through context-dependent behaviour. (English)
J. Log. Algebr. Program. 80, No. 7, 392-426 (2011).
34
Timed mobility in process algebra and Petri nets. (English)
J. Log. Algebr. Program. 80, No. 7, 377-391 (2011).
35
Normal forms in total correctness for while programs and action systems. (English)
J. Log. Algebr. Program. 80, No. 6, 362-375 (2011).
36
Contact, closure, topology, and the linking of row and column types of relations. (English)
J. Log. Algebr. Program. 80, No. 6, 339-361 (2011).
37
Collagories: relation-algebraic reasoning for gluing constructions. (English)
J. Log. Algebr. Program. 80, No. 6, 297-338 (2011).
38
Concurrent Kleene algebra and its foundations. (English)
J. Log. Algebr. Program. 80, No. 6, 266-296 (2011).
39
Fixpoints for general correctness. (English)
J. Log. Algebr. Program. 80, No. 6, 248-265 (2011).
40
Result 21 to 40 of 309 total
Start
Contact
Print
General Help
