Monday, January 14, 2008

Happy New Year 2008!

It was exactly a year ago that I wrote my last post. I guess I have been really busy doing research (yes, this is an excuse that always works for us researchers). I am planning on writing a few things on what research I have been doing recently in some details (as I used to do); partly to help me understand more stuff, and partly to spread around some good news about the area of logic and verification (and computation as well, of course).

Without further ado, here are some plans for my posts for the next two to three weeks:

  1. Some extensions of pushdown systems and how to do model checking on these structures. I covered the definitions of pushdown systems already in here, but not how to do model checking on these structures. So, I'll start there. Extensions that I will consider including prefix-recognizable systems, ground tree rewrite systems, and some probabilistic extensions.

  2. Well-structured transition systems. The theory of WSTS, which rely heavily on the theory of well-ordered quasi ordering, give general decidability results for reachability checking for large classes of infinite-state transition systems (eg, Petri Nets, lossy counter systems, etc).

25 comments:

naldo said...

interesting (and jargonic, hehehe -- that's from me, a frustrated student of logic, and a logician-to-be). hope these logic blogs will be a little more accessible (in explanation and cross-references, if not in language) to novice ones like me. ;-) tnx!

twidjaja said...

I'll try :)

halaman rumah said...

thanks for the info master :)

cara beli rumah tanpa modal said...

thanks to sharing article master :)

perumahan baru di tangerang said...

thank you for the information

harga rumah saat ini said...

your posting thats i like :)

rumah bebas banjir said...

thanks to sharing article master :)

model rumah minimalis said...

thank you for your sharing.it is very good.

rumah hak milik said...

thank you for sharing this information very useful :)

perumahan di sawangan depok said...

i like your blog, thanks to information :)

green orchid residence bsd said...

i like your article, thanks to sharing master :)

rumah dijual di serpong said...

thanks to sharing master

Rumah Minimalis 1 Lantai Dijual said...

thank you for sharing this information very useful :)

Perumahan di pamulang said...

thanks to sharing article master :)

Perkembangan kota Cibinong said...

i like your blog, thanks to information :)

Perumahan di pamulang said...

your posting thats i like :)

Perumahan Trevista Ciputat said...

i like your article, thanks to sharing master :)

perumahan griya cibinong asri said...

thanks to article master :)

sawangan green park said...

thank you. awaited next article :)

Tol JORR Kebun Jeruk Dibuka said...

your articles that I like :)

HINDARI INI SEWAKTU MENJUAL RU said...

thanks to posting master

Jangan Tergesa Gesa Membeli Perumahan Bagian 1 said...

I really enjoyed every article written on this blog :)

Industri Properti di Indonesia said...

may be useful for us all :)

Tipe Perumahan Favorit Masyarakat said...

thank you. awaited next article :)

FAKTOR YANG MEMPENGARUHI PERKE said...

I strongly agree with your article :)